Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

No se ha añadido ninguna twiki todavía.

Enunciado condicional, cuya forma lógica es «si p entonces q» y que normalmente se escribe según el esquema:

Definido el condicional como implicación material, según la definición de Filón de Megara (ver megáricos), significa, que «o no p o q»; esto es, un condicional definido como implicación material es siempre verdadero menos cuando el antecedente es verdadero y el consecuente falso. Esta manera filoniana de interpretar el condicional, origen de frases que causan perplejidad, conocidas como paradojas de la implicación material, ha hecho que algunos autores hayan propuesto otras maneras de entenderlo. Así W.V.O. Quine sugiere que el condicional ha de entenderse de forma más cercana a «si...entonces» que a «implica». Otros, como C.I. Lewis, iniciador de la lógica modal, proponen una interpretación, conocida como implicación estricta, definiendo «si p entonces q» como «es imposible que p sea verdadero y q falso», lo cual equivale a decir que «q es deducible de p».

Relaciones geográficas

Cargando el mapa…