Diferencia entre revisiones de «Matemáticas/Lógica/Tablas de la verdad»

Equivalencia.

Dos proposiciones son equivalentes si sus tablas de verdad son idénticas. Usaremos el símbolo (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.