CONDICIONAL
Es el nombre que recibe la conectiva binaria ‘si... entonces’, simbolizada mediante el signo Según ello,
p → q
se lee:
si p, entonces q.
Ejemplo de ‘p → q' puede ser:
Si Romeo habla, entonces Julieta se deleita
o sus variantes en lenguaje ordinario:
Si Romeo habla, Julieta se deleita.
Julieta se deleita con tal que Romeo hable, etcétera.
En el condicional ‘p → q’, p es llamado el «antecedente» y q el «consecuente».
Dado ‘p → q’, la fórmula:
q → p
es llamada el «converso» de ‘p → q’. A su vez,
¬ p → ¬ q
es llamada el «inverso» de ‘p → q’. Finalmente,
¬ q → ¬ p
es llamada el «contrapositivo» de ‘p → q’
En el artículo Tablas de verdad hemos pre- sentado una tabla para ‘p → q’ de la cual resultaba que cualesquiera que fueran los valores de verdad de ‘p’ y de ‘q’, el resultado eran Ves excepto cuando ‘p’ es verdadera y ‘q’ es falsa.
