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

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

Namespace Prefixes

PrefixIRI
n10http://www.renyi.hu/~csirmaz/
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/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n5http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Logikai_ekvivalencia
rdfs:label
Logikai ekvivalencia
owl:sameAs
freebase:m.016p9n
dct:subject
n5:Matematikai_logika
dbo:wikiPageID
401972
dbo:wikiPageRevisionID
14827854
dbo:wikiPageExternalLink
n10:
dbo:abstract
A matematikai logikában két formulát logikailag ekvivalensnek nevezünk, ha a bennük szereplő változók bármilyen kiértékelése esetén megegyezik a logikai értékük, azaz az azonos minden modellben. Az így definiált fogalom a logikai ekvivalencia fogalma, ami nem azonos az ekvivalenciával mint logikai művelettel.
prov:wasDerivedFrom
wikipedia-hu:Logikai_ekvivalencia?oldid=14827854&ns=0
dbo:wikiPageLength
1126
foaf:isPrimaryTopicOf
wikipedia-hu:Logikai_ekvivalencia
Subject Item
wikipedia-hu:Logikai_ekvivalencia
foaf:primaryTopic
dbpedia-hu:Logikai_ekvivalencia