TABALA DE VALORES DE VERDAD

Una tabla de verdad es una herramienta utilizada en lógica proposicional y matemática para mostrar todas las posibles combinaciones de valores de verdad (verdadero o falso) de una o más proposiciones, y el resultado lógico de una expresión compuesta basada en esas combinaciones.

Características principales:

• Se usa para evaluar proposiciones lógicas (como $p \wedge q$, $\neg p$, $p \rightarrow q$, etc.).

• Muestra todas las combinaciones posibles de valores de verdad de las variables involucradas.

• Permite determinar si una expresión es tautología, contradicción o contingente.

Ejemplo:

Para $p \rightarrow q$:

p	q	p → q
V	V	V
V	F	F
F	V	V
F	F	V