Lgica II

Filosofia [1A, 2S]

2005/06
Folha 5

Validade e Demonstrao na Lgica dos Predicados Mondicos

1. Regras de Inferncia (I, E, I)

A. Mostre o seguinte:
1. (x) Fx (x) Gx --||NK (x) (Fx Gx)
2. (x) Fx |NK (x) (Fx Gx)
3. (x) (Fx Gx) |NK (x) Fx (x) Gx
4. (x) Fx (x) Gx |NK (x) (Fx Gx)
5. (x) Fx |NK (x) Fx
6. (x) Fx (x) Gx |NK (x) (Fx Gx)
7. (x) Fx Ga |NK (x) (Fx Gx)
8. (x) (Fx Kx) |NK (x) ((Fx Kx) Kx)
9. (x) (A Fx) --||NK A (x) Fx
10. (x) (A Fx) --||NK A (x) Fx
11. (x) (y) (Fx Gy) |NK (x) (Fx (y) Gy)
12. (x) (y) (Gy Fx) |NK (x) ((y) Gy Fx)
B. Formalize os seguintes argumentos (os quantificadores 1-3 so relativos ao domnios das coisas,
em 4 so relativos ao domnio das pessoas) e depois demonstre a forma de cada um. Defina um
dicionrio para cada exemplo.
1. Todos os elefantes so grandes. Jumbo no grande. Portanto Jumbo no um elefante.
2. Todos os tigres so ferozes. Nenhum antlope feroz. Portanto nenhum antlope um tigre.
3. 2 um nmero. Nenhum nmero simultaneamente primo e composto. Todo o nmero, ou
primo, ou composto. Portanto, 2 ou primo e no composto, ou composto e no primo.
(Use a como nome para o nmero 2.)
4. Todos os alentejanos so portugueses. Todos os ibricos so europeus. Portanto, se todos os
portugueses so ibricos, ento todos os alentejanos so europeus.

2. Regras de inferncia (E)

A. Mostre o seguinte:
1. (x) Fx, (x) (Fx Gx) |NK (x) Gx
2. (x) Fx (x) Gx --||NK (x) (Fx Gx)
3. (x) (Fx Gx), (x) (Hx Gx) |NK (x) (Fx Hx)
4. (x) Fx |NK (x) Fx
5. (x) (Fx (y) Fy) |NK (x) Fx
6. (x) (Fx Gx) |NK (x) (Fx Gx)
7. (x) (Fx Gx), (x) [(y) Fy Rx], (x) [(y) Gy Sx] |NK (x) (Rx Sx)
8. (x) (Fx (Gx Hx)), (x) (Gx Hx) |NK (x) Fx
9. (x) (Fx (Gx Hx)) |NK (x) (Fx Gx) (x) (Fx Hx)
10. (x) (Fx (y) Gy) |NK (x) (Fx Gx)
11. (x) (Fx Fx) --||NK (x) (Gx Gx)
12. (x) (y) (Gy Fx) --||NK (x) ((y) Gy Fx)
13. (x) (y) (Fx Gy) --||NK (x) (Fx (y) Gy)
14. (x) (y) (Fy Gx) |NK (x) (y) (Fx Gy)
15. (x) (y) (Fx Gy) |NK (x) Fx (x) Gx
B. Mostre o seguinte:
1. (x) (A Fx) --||NK A (x) Fx
2. (x) (A Fx) --||NK A (x) Fx
3. A (x) Fx |NK (x) (A Fx)
4. (x) Fx A |NK (x) (Fx A)
C. Para cada uma das trs condies da regra E, d um exemplo de um sequente invlido cuja
demonstrao incorrecta e viola uma das condies. Em cada caso, demonstre que o sequente
invlido e diga qual a condio que a sua demonstrao viola.