Property |
Value |
dbo:abstract
|
- En lógica proposicional, la doble negación es el teorema que afirma que "Si un enunciado es verdadero, entonces no es el caso de que la declaración no es cierta". Esto se expresa diciendo que una proposición A es lógicamente equivalente a no (no-A), o por la fórmula A≡~(~A) donde el signo ≡ expresa equivalencia lógica y el signo ~ expresa negación. Al igual que la ley del tercero excluido, este principio es considerado como en la lógica clásica, aunque la lógica intuicionista no lo permite. (es)
- En lógica proposicional, la doble negación es el teorema que afirma que "Si un enunciado es verdadero, entonces no es el caso de que la declaración no es cierta". Esto se expresa diciendo que una proposición A es lógicamente equivalente a no (no-A), o por la fórmula A≡~(~A) donde el signo ≡ expresa equivalencia lógica y el signo ~ expresa negación. Al igual que la ley del tercero excluido, este principio es considerado como en la lógica clásica, aunque la lógica intuicionista no lo permite. (es)
|
dbo:wikiPageID
| |
dbo:wikiPageLength
| |
dbo:wikiPageRevisionID
| |
dct:subject
| |
rdfs:comment
|
- En lógica proposicional, la doble negación es el teorema que afirma que "Si un enunciado es verdadero, entonces no es el caso de que la declaración no es cierta". Esto se expresa diciendo que una proposición A es lógicamente equivalente a no (no-A), o por la fórmula A≡~(~A) donde el signo ≡ expresa equivalencia lógica y el signo ~ expresa negación. Al igual que la ley del tercero excluido, este principio es considerado como en la lógica clásica, aunque la lógica intuicionista no lo permite. (es)
- En lógica proposicional, la doble negación es el teorema que afirma que "Si un enunciado es verdadero, entonces no es el caso de que la declaración no es cierta". Esto se expresa diciendo que una proposición A es lógicamente equivalente a no (no-A), o por la fórmula A≡~(~A) donde el signo ≡ expresa equivalencia lógica y el signo ~ expresa negación. Al igual que la ley del tercero excluido, este principio es considerado como en la lógica clásica, aunque la lógica intuicionista no lo permite. (es)
|
rdfs:label
|
- Doble negación (lógica) (es)
- Doble negación (lógica) (es)
|
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |