Matemáticas/Lógica/Tablas de la verdad
< Matemáticas | Lógica
Equivalencia de tablas de verdad.
Dos proposiciones son equivalentes si sus tablas de verdad son idénticas. Usaremos el símbolo de tres líneas horizontales paralelas ( ≡ ) para anotar equivalencia.
Tautología.
Una proposición será llamada una tautología si para cualquier valor de sus componentes, su valor de verdad siempre es verdadero.
Contradicción.
Una proposición será llamada una contradicción si para cualquier valor de sus componentes, su valor de verdad siempre es falso.