TABLAS DE VERDAD
NO (¬, -, ´ ) : Una sentencia que modifica 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 es 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 ) : L conjunción de P-Q se denota PvQ la disyunción es verdadera si al menos uno de sus elementos es verdadero.
P Q PvQ
F F F
F V V
V F V
V V V
IMPLICACIÓN (-->): Para don declaraciones P-->Q decimos que P implica a Q y se escribe P-->Q. La expresión P es llamada hipótesis o antecedente 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 V
V F F
V V V
DOBLE IMPLICACION (<--->): Otra declaración común en matemáticas es P si y solo si Q, o simbólicamente P<--->Q, esto es llamado equivalencia de las preposiciones.
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
V V F
V F F
V V V
EJEMPLO
A B C A-->B B-->C (A-->C) (A-->B) ^(B-->C)
V V V V V V V
V V F V F F F
V F V F V V F
V F F F V F F
F V V V V V V
F V F V F V F
F F V V V V V
F F F V V V V
No hay comentarios:
Publicar un comentario