LÓGICA MATEMÁTICA

EJEMPLO DE EJERCICIO SOLUCIONADO

POR INFERENCIA LÓGICA

Teniendo las siguientes proposiciones:

W = La ballena es un mamífero.

O = Toma su oxigeno del Aire.

G = Necesita branquias.

H = Habita en el océano.

El Argumento propuesto es:

( ( W  O )  Λ (O  ¬ G)  Λ ( W  Λ H ) )  ¬ G

El ejercicio consiste en verificar la validez del argumento:

(1) W  O (P)
(2) O  ¬ G (P)
(3) W  Λ H (P)

 ¬G

_________________

(4) W (S,3)
(5) O (PP, 1,4)
(6) ¬ G 1 (PP, 2,5)

Para tener en cuenta del ejemplo anterior.

 La indicación (P) significa que es una premisa.

 El símbolo  significa conclusión a verificar.
 Luego de la línea se generan las conclusiones para ir verificando al final la validez del
argumento.
o La premisa 4 se obtuvo de aplicar la ley de la Simplificación en la premisa 3.
1
Ejercicio tomado de http://www.fisica.ugto.mx/~msabido/logica/2_a.pdf
 o La premisa 5 se obtuvo de aplicar el modo Ponendo Ponens de la premisa 4 en la
premisa 1.
o La premisa 6 o conclusión se obtuvo aplicando el modo Ponendo Ponens en la
Premisa 5.

 Recuerde que todas las premisas iniciales deben ser utilizadas en la prueba de validez.
 Las conclusiones de las premisas anteriores se convierten en nuevas premisas.
 Al frente de cada nueva premisa se debe indicar la ley o equivalencia utilizada para
hallarla, se utilizan abreviaciones para referenciarlas junto con los números de las premisas
anteriores utilizadas
 La última línea de la comprobación debe ser exactamente igual al término de la conclusión
inicial que se encuentra referenciada con el siguiente símbolo 
 El ejercicio se refiere a la búsqueda de las leyes o equivalencias que más fácilmente se
apliquen sobre las premisas. No es necesario saberlas de memoria, pero si tenerlas
disponibles para una constante consulta.