En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad. Algebraicamente, el conjunto {verdadero, falso} forma un álgebra booleana simple (subdirectamente irreducible). Otras álgebras booleanas se pueden utilizar como conjuntos de valores de verdad en lógicas multi-valuadas, mientras que la lógica intuicionista generaliza las álgebras booleanas a álgebras de Heyting.

rdfs:comment
  • En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad. Algebraicamente, el conjunto {verdadero, falso} forma un álgebra booleana simple (subdirectamente irreducible). Otras álgebras booleanas se pueden utilizar como conjuntos de valores de verdad en lógicas multi-valuadas, mientras que la lógica intuicionista generaliza las álgebras booleanas a álgebras de Heyting. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Valor de verdad (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 40398 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1095 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 12 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 77024646 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [12 values]
Is dbpedia-owl:wikiPageWikiLink of [43 values]