Categoria: formulae.app / Matemáticas / Aritmética / Tipos de Proposiciones: Tautología, Contradicción y Contingencia
Es una proposición cuyos VALORES DE VERDAD del OPERADOR PRINCIPAL son TODOS VERDADEROS, cualquiera sea el valor de verdad de sus componentes.
Ejemplo:
pq | p∧q | ⇒ | (p ∨ q) |
VV | V | V | V |
VF | F | V | V |
FV | F | V | V |
FF | F | V | F |
Es una proposición cuyos VALORES DE VERDAD del OPERADOR PRINCIPAL son TODOS FALSOS, cualquiera que sea el valor de verdad de sus componentes.
Ejemplo:
pq | [~ p ⇒ (q ∧ ~ q)] ∧ ~ p | ||||||
VV | F | V | V | F | F | F | F |
VF | F | V | F | F | V | F | F |
FV | V | F | V | F | F | F | V |
FF | V | F | F | F | V | F | V |
No es ni tautología ni contradicción porque los VALORES DE VERDAD de su OPERADOR PRINCIPAL tienen por lo menos una VERDAD y/o una FALSEDAD.