TABLAS DE LA VERDAD

TABLAS DE LA VERDAD

NO(>,-)
una sentencia que es modificada con el conectivo NO , es llamada la negación  de la sentencia original

Y(^)

La conjunción de P,Q es denotada como P^Q. La conjunción es verdad solo si P y Q son verdaderos.

O(v)

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

IMPLICACION (--->)

para dos declaraciones  P-->Q,decimos P implica a Q y se escribe  P-->Q.La preposición  p es llamada la hipótesis o antecedente de la implicación .Q es llamada la conclusion o consecuente  de la implicación

SI Y SOLO SI
          O
DOBLE IMPLICACION (<--->)

Otra declaración común en matemáticas  es P  si y solo si Q , O simbólicamente  <-->.Esta es llamado la equivalencia de  2 proposiciones si P entonces Q y si Q entonces P,Q es condiciona necesaria y suficiente para P

EJERCICIOS :