En lógica, las sentencias p y q son lógicamente equivalentes si poseen el mismo contenido lógico. Sintácticamente, p y q son equivalentes si cada una puede probar a la otra. Semánticamente, p y q son equivalentes si ambas tienen el mismo valor de verdad en cada modelo. La equivalencia lógica de p y q a veces se denota o bien . Sin embargo, estos símbolos son también utilizados para denotar el bicondicional.
rdfs:comment |
|
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
prov:wasDerivedFrom | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
dbpedia-owl:wikiPageRevisionID |
|
prop-latam:wikiPageUsesTemplate | |
dbpedia-owl:wikiPageWikiLink | [20 values] |
Is dbpedia-owl:wikiPageWikiLink of | [14 values] |