Una verdad lógica es una fórmula bien formada de un lenguaje formal que es verdadera bajo todas las interpretaciones de los componentes (distintos de las constantes lógicas) de ese lenguaje. En algunos contextos, las verdades lógicas se conocen como fórmulas lógicamente válidas (que tienen validez lógica). Dos características generalmente aceptadas de las verdades lógicas son que son formales y necesarias.

rdfs:comment
  • Una verdad lógica es una fórmula bien formada de un lenguaje formal que es verdadera bajo todas las interpretaciones de los componentes (distintos de las constantes lógicas) de ese lenguaje. En algunos contextos, las verdades lógicas se conocen como fórmulas lógicamente válidas (que tienen validez lógica). Dos características generalmente aceptadas de las verdades lógicas son que son formales y necesarias. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Verdad lógica (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 2976725 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2881 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 14 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 72158929 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [13 values]
Is dbpedia-owl:wikiPageWikiLink of [26 values]