Cuando la conclusión se deduce correctamente del conjunto de premisas se dice que la inferencia es válida, en caso contrario la inferencia no es válida. Sabemos que la conclusión se deriva correctamente de sus premisas porque hay un conjunto de leyes lógicas que garantizan dicha corrección. Justamente la lógica estudia el modo de usar estas leyes, con las cuales podemos saber si una inferencia es válida o no. De ahí que, la lógica es una ciencia que estudia los métodos y las leyes que determinan la validez de la inferencia.
Depues de un pequeño comentario... Manos a la obra!!!
ACTIVIDAD 1: Demostrar la validez de los siguientes razonamientos lógicos aplicando reglas de inferencias conocidas.
Ejercicio N° 1
r → q
~p → ~q
r v t
~p
-------------
t
Ejercicio N° 2
p v q
t v s
t →(~p v ~r)
r
----------------
q v s
Ejercicio N° 3
p v q
t v s
t →(~p v ~r)
r
-----------------
q v s
ACTIVIDAD 2: Verificar por alguno de los métodos de inferencia, si cada uno de los argumentos es válido. Trasformar a lenguaje simbólico y justificar.
a) P1: Si Juan es más alto que Pedro, entonces María es más baja que Juana.
P2: María no es más baja que Juana.
P3: Si Juan y Luís tiene la misma estatura, entonces Juan es más alto que Pedro.
Por lo tanto,
C: Juan y Luís no tienen la misma estatura.
b) P1: Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el carro de Andrés.
P2: Si Andrés dice la verdad, entonces Juan no vio partir el carro de Andrés
P3: O Andrés dice la verdad, o estaba en el edificio en el momento del crimen.
P4: El reloj está adelantado.
Por lo tanto,
C: Andrés estaba en el edificio en el momento del crimen.