This HTML5 document contains 14 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/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://hu.dbpedia.org/resource/Sablon:
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Skolem-normálforma
rdfs:label
Skolem-normálforma
owl:sameAs
freebase:m.026gh8
dct:subject
n13:Matematikai_logika
dbo:wikiPageID
21715
dbo:wikiPageRevisionID
22029891
prop-hu:wikiPageUsesTemplate
n5:Bővebben n5:ISBN n5:Lektor n5:Csonk-dátum
dbo:abstract
A Skolem-normálforma (SNF) a matematikai logika elsőrendű logika nevű ágában egy elsőrendű nyelv speciális szimbólumokkal, a Skolem-szimbólumokkal bővített változatának olyan formulája, melynek egyetlen valódi részformulája sem kvantált (mert „a kvantorok mind a formula legelején vannak”, azaz prenex állapotban), továbbá ha előfordul a formulában kvantor, akkor az csak univerzális kvantor lehet. Tehát általánosan a következő alakú formulák SNF alakúak: , ahol M, a SNF magja, már kvantormentes formula (lehet nyílt is). Bebizonyítható, hogy tetszőleges formulához létezik olyan vele egy bizonyos értelemben ekvivalens formula, amely Skolem-normálforma alakú. Ennek előállítására, azaz a formula algoritmusok is adhatóak. Ez tehát – ha prenex formulából indulunk ki, amit a továbbiakban feltételezni fogunk – azt jelenti, hogy „kiküszöböljük a formulából az egzisztenciális kvantorokat” („egy bizonyos értelemben” ekvivalens azért, mert a Skolemizált formula tkp. nem formulája az adott nyelvnek, és így az ekvivalencia definíciója is módosításra szorul).
prov:wasDerivedFrom
wikipedia-hu:Skolem-normálforma?oldid=22029891&ns=0
dbo:wikiPageLength
7085
foaf:isPrimaryTopicOf
wikipedia-hu:Skolem-normálforma
Subject Item
wikipedia-hu:Skolem-normálforma
foaf:primaryTopic
dbpedia-hu:Skolem-normálforma