En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.​​ La construcción de una tabla de verdad es un para determinar si una fórmula cualquiera es una tautología o no.​

Property Value
dbo:abstract
  • En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.​​ La construcción de una tabla de verdad es un para determinar si una fórmula cualquiera es una tautología o no.​ (es)
  • En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.​​ La construcción de una tabla de verdad es un para determinar si una fórmula cualquiera es una tautología o no.​ (es)
dbo:wikiPageID
  • 79920 (xsd:integer)
dbo:wikiPageLength
  • 5574 (xsd:integer)
dbo:wikiPageRevisionID
  • 127939944 (xsd:integer)
prop-es:diagramaDeVenn
  • Diagrama de Venn 21.svg (es)
  • Diagrama de Venn 21.svg (es)
dct:subject
rdfs:comment
  • En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.​​ La construcción de una tabla de verdad es un para determinar si una fórmula cualquiera es una tautología o no.​ (es)
  • En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.​​ La construcción de una tabla de verdad es un para determinar si una fórmula cualquiera es una tautología o no.​ (es)
rdfs:label
  • Tautología (es)
  • Tautología (es)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of