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
  • 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. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Equivalencia lógica (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 4328405 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 5416 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 20 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 77911485 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [20 values]
Is dbpedia-owl:wikiPageWikiLink of [14 values]