This HTML5 document contains 17 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
n6http://www.cs.elte.hu/~krja/analyse/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n8https://youproof.hu/kriptografia/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n7https://web.archive.org/web/20140203163906/http:/www.cs.elte.hu/~krja/analyse/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n14http://hu.dbpedia.org/resource/Sablon:
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Indirekt_bizonyítás
rdfs:label
Indirekt bizonyítás
owl:sameAs
freebase:m.06bwk
dct:subject
n4:Matematikai_terminológia n4:Matematikai_bizonyítások n4:Matematikai_logika n4:Logika
dbo:wikiPageID
724903
dbo:wikiPageRevisionID
22479407
dbo:wikiPageExternalLink
n6:ma-log.pdf%7Ctitle=Az n7:ma-log.pdf%7Carchivedate=2014-02-03 n8:12-szorzas-disztributivitas-teljes-indukcio-indirekt-bizonyitas-relacio-teljes-rendezes-rendezett-halmaz
prop-hu:wikiPageUsesTemplate
n14:Cite_web
dbo:abstract
A matematikában és a logikában indirekt bizonyításnak nevezzük azt a fajta bizonyítást, amelyben feltesszük a bizonyítani kívánt állítás tagadását, majd ebből szabályos logikai lépések útján ellentmondásra jutunk valamilyen ismert ténnyel. Ez a bizonyítástípus alkalmazása az általánosabb reductio ad absurdum gondolatmenetnek.
prov:wasDerivedFrom
wikipedia-hu:Indirekt_bizonyítás?oldid=22479407&ns=0
dbo:wikiPageLength
1692
foaf:isPrimaryTopicOf
wikipedia-hu:Indirekt_bizonyítás
Subject Item
wikipedia-hu:Indirekt_bizonyítás
foaf:primaryTopic
dbpedia-hu:Indirekt_bizonyítás