Deducciones Logicas 21/4/09

Esta semana hemos estado trabajando con las deducciones lógicas, en las que tenemos que llegar a una conclusión final, aplicando las diferentes reglas de inferencia que conocemos sobre las premisas que nos dan y vamos deduciendo nosotros.
Hicimos una serie de ejercicios de deducción de la página 80.

7.

a) Deducir r
1. p -> q
2. q-> r
3. p
_______
4. p -> r RT en 1, 2
5. r MP en 3, 4

b) Deducir ¬p
1. p -> q
2. r V S
3. s -> ¬q
4. ¬r
_______
5. s SD en 2, 4
6. ¬q MP en 3, 5
7. ¬p MT en 1, 6

c) Deducir r
1. p <-> q
2. q V r
3. p -> ¬s
4. s
_______
5. ¬p MT en 3, 4
6. p -> q RB en 1
7. ¬q MT en 5, 6
8. r S.D en 2, 7

d) Deducir r V s
1. p -> q
2. q -> r
3. p
________
4. p -> r RT en 1, 2
5. r MP en 3, 4
6. r V s ID en 5