Documente Academic
Documente Profesional
Documente Cultură
2. LAS INFERENCIAS
2.1 Generalidades
1
Debe notarse que si afirmamos que una determinada inferencia es válida, no por
eso su conclusión debe ser verdadera. Por lo ya visto acerca de la consecuencia semántica
sabemos, por ejemplo, que si una de las premisas es contradictoria, la inferencia es váñida
y la conclusión puede ser falsa.
Tercero, puede ocurrir que la inferencia sea inválida, y que tanto las premisas
como la conclusión sean verdaderas en un EPM. Un ejemplo ese: ‘Las manzanas son
comestibles ya que el Sol sale por el este’. Todas las proposiciones de este sencillo
razonamiento son verdaderas, pero si lo analizamos lógicamente es obvio que no se tiene
q ⊨ p y que, por tanto, la inferencia es inválida,
Por otro lado hay sí una curiosa relación entre verdad y validez: si una inferencia
es válida y sus premisas son verdaderas, entonces la conclusión es verdadera. En este caso,
inferencia válida y premisas verdaderas, no se requiere verificar la verdad de la
conclusión, pues lo es por necesidad.
Sean P1, P2 y P3 las premisas (la generalización para más o menos premisas debe
hacerla el lector) y C la conclusión. Podemos probar que P1, P2 y P3 ⊨ C o que la fórmula
(P1P2P3) implica a C; ambas pruebas son equivalentes. En la práctica, o probamos:
2. que en los EPM en los que P1 P2 P3 es verdadera C también lo es, o, por último,
probamos:
3. que en los EPM en que C es falsa también lo es una de las premisas por lo menos.
En los capítulos siguientes estudiaremos técnicas más sofisticadas que permiten analizar
razonamientos que la lógica proposicional no logra captar. Es decir, razonamientos cuya
2
validez reside en “cosas” distintas de los conectores veritativo-funcionales que hasta aquí
hemos visto. Por lo que es importante resaltar que si con las herramientas actuales no
probamos la validez de un razonamiento, lo único que establecemos es que no es
veritativo-funcionalmente válido. Con herramientas más finas podríamos darnos cuenta
de su validez. En otras palabras, la prueba de validez proposicional es una prueba de
validez, su ausencia no es una prueba de invalidez, salvo para la lógica proposicional. Un
ejemplo sencillo lo tenemos con ‘si todos los hombres son mortales y Sócrates es hombre,
debe seguirse que Sócrates es mortal’. En LP se simboliza como pq..r, que no refleja la
validez del razonamiento.
Ejercicios
a. Los helados son caros si y solo si no se venden en las fiestas o no se venden en las
playas. Si hace mucho frío, entonces los helados son caros. Sin embargo, si los
helados no son dulces, entonces no se venden en las fiestas. Pero, no es el caso de
que haga mucho frío y los helados sean dulces. Por lo tanto, los helados no se
venden en las fiestas, a menos que no se venden en las playas.
b. Si Josefina mueve el caballo blanco, deja sin defensa a su torre; pero si no mueve el
caballo blanco, entonces no podrá adelantar su alfil. Josefina podrá adelantar su
alfil si Milagros mueve su reina. Por consiguiente, si josefina no deja sin defensa a
su torre, Milagros no ha movido su reina.
c. Al paciente debe administrársele penicilina. Si es alérgico a la penicilina, entonces
al paciente no se debe administrar penicilina. Pero el paciente es alérgico a la
penicilina. Luego, al paciente debe administrársele ampicilina.
d. Rolando viajará al norte, si y solo si es un delegado estudiantil y no tiene exámenes
en la universidad. Si Rolando no viaja al norte, entonces si no es un delegado
estudiantil, no representará a los estudiantes en el congreso. Rolando tiene
exámenes en la universidad, además no representará a los estudiantes en el
congreso. En consecuencia, representará a los estudiantes en el congreso si y solo
si es un delegado estudiantil.
____________
8. Veánse los apéndices de Deaño (36) y Alchourrón (4).
9. Veáse Schreiber (105).