¿Qué es?
No se ha añadido ninguna twiki todavía.
Definición de implicación o del condicional, hecha por Clarence Irwing Lewis (1883-1964), como «necesariamente o no P o Q», o «necesariamente si P entonces Q», contrapuesta a la interpretación filoniana (de Filón de Megara), también llamada implicación material. Se interpreta como una implicación más cercana al lenguaje ordinario, y parece suponer que es imposible que P sea verdadero y Q falso, y no sólo que «no sucede que P sea verdadero y Q falso».