Condicional o Implicación.

Condicional de las proposiciones p y q es la proposición p => q(si p entonces q ), cuya tabla de valores de verdad es;

Por ejemplo;