Tablas de verdad.

Matemáticas Discretas 

Lógica. La resolución de problemas, diseños de algoritmos y programación requiere un razonamiento lógico completo. La lógica trata los métodos y el arte de razonamiento matemático. 
Lógica proporcional.
*Preposiciones simples. Una preposición declarativa que es verdadera o falsa .

Tablas de verdad.

No ( ¬, -, ~, ')

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

Y(^)

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

O(v)

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

Implicación (--->)

Para 2 declaraciones P---> Q decimos P implica a Q y se escribe 

P--->Q. La expresión P es llamada la hipótesis o antecedentes de la implicación. Q es llamada la conclusión o consecuencia de o consecuente de la implicación.

Doble implicación (<--->)

Otra declaración común en matemáticas es P si y solo si Q, o simbólicamente P <--> Q. Esto es llamado la equivalente de dos proporciones. Si P entonces Q y si Q entonces P. Q es una condición necesaria y sificiente para P. 

Ejemplo: 

P  Q  R  -  Q v R  -   P --> (QvR)

v  v  v       v v   v            v

v  v  f        v  v  f            v

v  f   v       f  v  v            v

v  f  f        f  f  f              f  

f  v  v        v  v  v            v

f  v  f        v  v  f             v

f  f  v         f  v  v            v

f  f  f          f  f  f             v