ACTIVIDADES REGLAS DE INFERENCIA Y DEMOSTRACION

En nuestro quehacer diario constantemente hacemos, deducciones. Esto significa, que cada conclusión que obtenemos se deduce de algo. Este algo o punto de partida se llama premisa. Por ejemplo si exponemos un trozo de hielo al calor, se concluye que el hielo se derrite, o cuando un campesino ve una densa nube en el cielo, deduce que va a llover, o también de "todos los mamíferos son vertebrados" se puede concluir en "algunos mamíferos son vertebrados". Este proceso de pasar de un conjunto de premisas a la conclusión se llama inferencia o deducción.
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.