OPERADORES LÓGICOS.

Los operadores lógicos son operadores que permiten formular condiciones complejas a partir de condiciones simples. Puedes ser de conjunción (y), disyunción (o) y negación (no).

El operador Implica se representa mediante el símbolo ⇒ y se usa para la operación implicación (también llamada “condicional“). A la proposición que se coloca a la izquierda del operador se la llama “antecedente” y a la que se coloca a la derecha de la llama “consecuente“. Esta operación no es conmutativa.

El operador Bicondicional se representa mediante el símbolo ⇔ y se usa para la operación doble implicación (también llamada “equivalencia“).