¿Qué es?
No se ha añadido ninguna twiki todavía.
El valor del condicional en lógica de enunciados, que se escribe [math]p\rightarrow{q}[/math], se lee como «si p, entonces q», y se define como [math](p\rightarrow{q})= df(¬p\vee q)[/math], de modo que la expresión «si p entonces q» es falsa si y sólo si el antecedente es verdadero y el consecuente falso; en todos los demás casos es verdadera. Esta definición se atribuye a Filón, filósofo megárico del s. IV a. C. Del hecho de que esta definición de condicional no se ajusta exactamente al uso del condicional en el lenguaje ordinario, que supone cierta relación de significado entre antecedente y consecuente, surgen las denominadas paradojas de la implicación material.
La implicación material no debe confundirse con la implicación tautológica, como es una inferencia expresada como un condicional, en la que nunca sucede que las premisas sean verdaderas y la conclusión falsa, o la implicación estricta, que se define como «si p es verdadero debe serlo también q»; también en este caso, q es deducible de p.
Su valor lo define la tabla del condicional.
