Tablas de Verdad

Tablas de Verdad

NO (¬, -, ~)

P	¬P
F	V
V	F

Una sentencia que es modificada con el conector no es llamada la negación de la  sentencia original.

 Y (^)

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

La conjunción de P, Q es denotada P^Q. La conjunción es verdadera solo si p y q son verdaderas.

 O (V)

P	Q	PVQ
F	F	F
F	V	V
V	F	V
V	V	V

La disyunción de P, Q es denotada  PvQ. La disyunción es verdadera si al menos uno de sus elementos es verdadero.

 IMPLICACIÓN (à)

P	Q	Pà Q
F	F	V
F	V	V
V	F	F
V	V	V

Para que 2 declaraciones P      Q decimos P implica a Q y se escribe P     Q la expresión P es llamada la hipótesis o antecedente de la implicación Q es llamada la conclusión consecuencia de la implicación.

 DOBLE IMPLICACIÓN (ßà)

P	Q	Pßà Q
F	F	V
F	V	F
V	F	F
V	V	V

Otra declaración común en matemáticos es P si y solo si Q, o simultáneamente P ßà Q, esto se llama equivalencia de dos proporciones. si p entonces Q y si Q entonces P, Q es una condición necesaria y suficiente para P

EJEMPLO:

Tenemos los valores asignados de P y Q en la primera columna.

Entonces como se indica tienes que comparar P y Q con la tabla de implicación para saber en qué caso es verdadero o falso. Después nos pide que el resultado lo comparemos con P con la tabla de Y.           

 EJ

P	Q	P  à Q	P      ^    (Pà Q)
F	F	V	F	V	F
F	V	V	F	V	F
V	F	F	V	F	F
V	V	V	V	V	V