Tablas De Verdad

No (> , -) Una sentencia que es modificada con el conectivo no es llenada de la negacion a sentencia original.

P	P
F	V
V	F

 Y ( ) La conjuncion de P, Q  es denotada como p q. La conjuncion es verdadera solo si p,q son verdaderas.

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

O ( v) La disyucion de P, Q es denotada como PvQ . La disyuncion es verdadera si almenos uno de sus elementos es verdadera.

P	Q	P v Q
F	F	F
F	V	V
V	F	V
V	V	V

Implicacion (     ) Para dos declaraciones P      Q decimos P aplica   a Q y se escribe

P      Q. La preposicion es llamada la hipotesis o adeherente de la aplicación. Q es llamada la conclucion o o concecuente de la aplicación. 

   

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

Si y solo si                       Otra decisión común en Matemáticas es P si y                                                                          solo si Q,  O simbólicamente  Esto es llenada la      .                                                               equivalente de dos  preposiciones. Si P entonces Q y si Q
   O                                   entonces P.Q es una condición necesaria y suficiente para P.                                                         
Doble aplicación                       (              )          

                                                      

                        

                                                                                           

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