About: Matematikai logika

Property	Value
dbo:wikiPageID	14094 (xsd:integer)
dbo:wikiPageRevisionID	18431339 (xsd:integer)
prop-hu:wikiPageUsesTemplate	dbpedia-hu:Sablon:Bővebben dbpedia-hu:Sablon:Commonskat
rdf:type	skos:Concept
rdfs:label	Matematikai logika (hu) Matematikai logika (hu)
skos:broader	dbpedia-hu:Kategória:Logika dbpedia-hu:Kategória:Matematika
skos:prefLabel	Matematikai logika (hu) Matematikai logika (hu)
prov:wasDerivedFrom	wikipedia-hu:Kategória:Matematikai_logika?oldid=18431339&ns=14
is dct:subject of	dbpedia-hu:A_matematikai_logika_története dbpedia-hu:Alternáció dbpedia-hu:Axiomatikus-deduktív_módszer dbpedia-hu:Axióma dbpedia-hu:Bikondicionális dbpedia-hu:Bitművelet dbpedia-hu:Boole-algebra dbpedia-hu:Curry_paradoxonja dbpedia-hu:De_Morgan-azonosságok dbpedia-hu:Diszjunkció dbpedia-hu:Diszjunktív_normálforma dbpedia-hu:Elsőrendű_logika dbpedia-hu:Elsőrendű_nyelv dbpedia-hu:Fogalomírás dbpedia-hu:Gödel_első_nemteljességi_tétele dbpedia-hu:Gödel_második_nemteljességi_tétele dbpedia-hu:Gödel_teljességi_tétele dbpedia-hu:Herbrand-interpretáció dbpedia-hu:Herbrand-univerzum dbpedia-hu:Horn-klóz dbpedia-hu:Indirekt_bizonyítás dbpedia-hu:Konjunkció dbpedia-hu:Konjunktív_normálforma dbpedia-hu:Kvantor_(logika) dbpedia-hu:Következtetési_sémák_a_formális_logikában dbpedia-hu:Lambda-kalkulus dbpedia-hu:Logikai_kalkulus dbpedia-hu:Logikai_kapu dbpedia-hu:Logikai_művelet dbpedia-hu:Matematikai_logika dbpedia-hu:Matematikai_struktúra dbpedia-hu:Modális_logika dbpedia-hu:Negáció dbpedia-hu:Peano-aritmetika dbpedia-hu:Prenex-formula dbpedia-hu:Prolog dbpedia-hu:Reguláris_kifejezés dbpedia-hu:Rezolúció dbpedia-hu:Russell-paradoxon dbpedia-hu:Skolem-normálforma dbpedia-hu:Tautológia dbpedia-hu:Teljes_indukció dbpedia-hu:Term dbpedia-hu:Típus_(modellelmélet) dbpedia-hu:Típuselkerülési_tétel dbpedia-hu:Végtelen_leszállás dbpedia-hu:Alapkifejezés dbpedia-hu:Igazhalmaz dbpedia-hu:Igazságérték dbpedia-hu:Logikai_ekvivalencia dbpedia-hu:Modellelmélet dbpedia-hu:Parciálisan_rekurzív_függvény dbpedia-hu:Predikátumkalkulus dbpedia-hu:Értékréses_logika dbpedia-hu:Ítéletkalkulus
is skos:broader of	dbpedia-hu:Kategória:Modellelmélet