Ir al contenido

Matemáticas/Lógica/Tablas de la verdad

De Wikilibros, la colección de libros de texto de contenido libre.

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.