Lgica

Matemtica, 2012-2, Unidade III e IV, Lgica de 1 Ordem 1 Semntica e Sintaxe, 3o. AP, 1. Chamada, 08-02-2013 Marcelino Pequeno

1. Estritamente falando, as duas afirmaes abaixo so compatveis? a. Todo nmero tem um nmero maior do que ele. b. Existe um nmero maior do que todos. O conjunto dos nmeros naturais de 1 a 10 um exemplo da compatibilidade das duas afirmaes? (Valor 1,0) Claramente as afirmaes so incompatveis, pois que nmero ser maior do que o maior de todos? O conjunto {1,2,...,10} exemplifica esta impossibilidade. 10 maior do que todos os outros nmeros, mas quem maior do que 10? O item a) afirma que para todo nmero do conjunto h um maior do que ele. 2. O que pode se dizer das formulas abaixo: elas so logicamente equivalentes, uma mais forte do que a outra, ou elas so incomparveis? a. x P(x) b. x P(x) (Valor 1,0) A frmula do item a) bem mais forte do que a outra, j que ela equivalente a xP(x), ou seja, ela afirma que a interpretao de P o conjunto vazio, enquanto que o item b) afirma que a interpretao de P no o domnio. Assim, xP(x) xP(x), mas o inverso no vale, como demonstra a interpretao com D = {1,2} e PI = {1}. 3. Nas questes abaixo, se for consequncia lgica, d uma derivao; se no for, d uma interpretao contra-exemplo. a. x (Cube(x) y(Cube(y) x y)) xCube(x) No conseqncia lgica. A sentena s afirma que existe um nico cubo, e no que todos os elementos so cubos. Uma interpretao com um cubo e tetraedro satisfaz a sentena mas no a concluso. Para quem preferir, a interpretao abaixo um contraexemplo. D = {1, 2} CI = {1} Os trs itens abaixo so conseqncia lgica e suas derivaes esto na outra peagina e tambm nos arquivos do Fitch em anexo. b. xy(P(x) Q(y)) xP(x) yQ(y) c. xy(P(x) Q(x,y)) x(P(x) yQ(x,y)) d. x(P(x) yQ(x,y)) xy(P(x) Q(x,y)) (Valor 8,0) Instrues:

1) Todos os lemas proposicionais utilizados devem ser citados (mas no precisa prov-los). 2) Lemas de primeira ordem: 1. xP(x) xP(x) 2. xP(x) xP(x) Qualquer outro consulte o professor se precisa prov-lo ou no. Questo Bnus (Valor 1,0 extra): a. xy(P(x) Q(y)) yx (P(x) Q(y)) Esta bnus e deixo para vocs continuarem a buscar sua soluo.

 Lgica Matemtica, 2012-2, Unidade III e IV, Lgica de 1 Ordem 3 Semntica e Sintaxe, 3o. AP, 1. Chamada, 08-02-2013 Marcelino Pequeno

b) xy(P(x) Q(y)) xP(x) yQ(y) 1. xy(P(x) Q(y)) 2. y(P(a) Q(y)) 3. P(a) Q(b) 4. P(a) 5. Q(b) 6. yQ(y) 7. P(a) yQ(y) 8. P(a) yQ(y) 9. P(a) 10. yQ(y) 11. xP(x) 12. xP(x) yQ(y) PREM (-E) 1 SUP (-E) 3 (-E) 3 (-I) 5 (-I) 4 e 6 (-E) 2 e SUB 3-7 (-E) 8 (-E) 8 (-I) 9 (-I) 10 e 11

c) xy(P(x) Q(x,y)) x(P(x) yQ(x,y)) 1. xy(P(x) Q(x,y)) 2. P(a) 3. y(P(a) Q(a,y)) 4. P(a) Q(a,b) 5. Q(a,b) 6. yQ(a,y) 7. yQ(a,y) 8. P(a) yQ(a,y) 9. x(P(x) yQ(x,y)) PREM SUP (-E) 1 SUP (-E) 2 e 4 (-I) 5 (-E) 3 e SUB 4-6 (-I) SUB 2-7 (-I) 8

d) x(P(x) yQ(x,y)) xy(P(x) Q(x,y)) 1. x(P(x) yQ(x,y)) 2. P(a) 3. P(a) yQ(a,y) 4. yQ(a,y) 5. Q(a,b) 6. P(a) Q(a,b) 7. y(P(a) Q(a,y)) 8. y(P(a) Q(a,y)) 9. P(a) y(P(a) Q(a,y)) 10. P(a) 11. P(a) Q(a,b) 12. y(P(a) Q(a,y)) 13. P(a) y(P(a) Q(a,y)) 14. y(P(a) Q(a,y)) 15. xy(P(x) Q(x,y)) PREM SUP (-E) 1 (-E) 2 e 3 SUP Lema 1; 5 (-I) 6 (-E) 4 e SUB 5-7 (-I) SUB 2-8 SUP Lema 2; 10 (-I) 11 (-I) SUB 10-12 Lema 3; 9 e 13 (-I) 14

 Lema 1: Lema 2: Lema 3:

B A B

A A B A B, A B B