OPERADORES LÓGICOS

Condicional: Se representa simbólicamente por a -> b.

Este operador lógico se lo denomina como enunciación hipotética.

Esta proposición sera falsa  solamente cuando el valor de verdad del antecedente sea verdadero y del consecuente sea falso.

Esta proposición se la puede encontrar en términos gramaticales en cualquier expresión que denote causa y efecto.

Por Ejemplo: 

a: Te invitare a comer 

b: Cuando tenga dinero