TABLAS DE VERDAD

No (¬,'¯,~,')
Una sentencia que es modificada con el conector no es llamada la negación de la sentencia original.

P	¬P
F	V
V	F

Y (^)
La conjunción de P,Q es denotada P^Q . La conjunción ves verdadera solo si P y Q son verdaderas.

P	Q	P^Q
F	F	F
F	V	F
V	F	F
V	V	V

O(v)
La disyuncion de P,Q es denotada PvQ. La disyunción es verdadera si almenos uno de sus elementos es verdadero.

P	Q	PvQ
F	F	F
F	V	V
V	F	V
V	V	V

Implicación (→)
Para dos declaraciones P→Q decimos P implica a Q y se escribe P→Q.
La expresión P es llamada la hipótesis o antecedentr de la implicación Q es llamada la conclusión o consecuente de la implicación.

P	Q	P→Q
F	F	V
F	V	F
V	F	F
V	V	V

Doble implicación (←→)
Otra declaración común en matematicas es P si y solo si Q o simbólicamente P←→Q. Esto rd llamado la equivalencia de dos proposiciones.
Si P entonces Q y si Q entonces P. Q es una condición necesaria y suficiente para P.

P	Q	P←→q
F	F	V
F	F	F
V	F	F
V	V	V