3 4 5 condicional en un enunciado condicional

3. 4. 5 condicional en un enunciado condicional, la proposición que acompaña a “si” es llamada antecedente; la otra, que puede o no estar precedida de “entonces” es llamada consecuente. esto significa que al escribir la proposición en cualquiera de las formas “si p entonces q”, “si p, q”, o “q, si p”, p es el antecedente y q el consecuente. en la proposición “si hoy es martes, (entonces) mañana es miércoles”, “hoy es martes” es el antecedente y “mañana es miércoles” es el consecuente. observe que la última expresión en la lista de usos del condicional equivale a, “no es posible que el antecedente sea verdadero y que el consecuente sea falso”, una de las caracterizaciones más significativas del condicional, como se ilustra en estos ejemplos: 1. si es médico, entonces sabe anatomía ≡ no es posible ser médico y no saber anatomía. 2. si un número es divisible por 2, termina en cifra par ≡ no es posible que un número sea divisible por 2 y no termine en cifra par. 3. si el silogismo es válido, satisface s 2 ≡ no es posible que el silogismo sea válido y no satisfaga s 2.

es necesario reiterar que el condicional nada afirma sobre la verdad del antecedente o la del consecuente por separado; sólo afirma que si el antecedente es verdadero, el consecuente también lo es, o, en forma equivalente, que no es posible que el antecedente sea verdadero y simultáneamente el consecuente sea falso. esto significa que el condicional puede considerarse como un conectivo derivado, en cuyo caso podría definirse de esta forma: p → q ≡ ¬(p ↔ ¬q)