1.3.3 Condicional

La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces q, se representa por p → q, y su tabla de verdad está dada por:

Con respecto a este operador binario, lo primero que hay que destacar es que no es conmutativo, a diferencia de los dos anteriores la conjunción y la disyunción. El único caso que resulta falso es cuando el primero es verdadero y el segundo falso.

Por ejemplo, si p es llueve y q es hay nubes entonces:

p → q es si llueve entonces hay nubes.

También cabe señalar que este viene a ser el operador más importante en el proceso deductivo y que la mayoría de las leyes de inferencia y las propiedades en matemáticas se pueden enunciar utilizando este operador.

Dada su importancia se le dedica una sección completa al final de la primera parte, sección 1.10 Implicacion Tautologica