Exerccios

A grande maioria destes exerccios sao adaptacoes

de exerccios do livro Language, Proof and Logic
de Jon Barwise e John Etchemendy (edicao de 1999).
Veja-se http://en.wikipedia.org/wiki/Language,_Proof_and_Logic.

1. Construa um mundo no qual sejam verdadeiras todas as sentencas seguintes:

(1) T et(a)
(2) M edium(d)
(3) Dodec(b)
(4) Cube(c)
(5) F rontOf (a, b)
(6) Between(a, b, c)
(7) a = d
(8) Larger(d, b)
(9) Smaller(a, c)
(10) Lef tOf (b, c)
2. Considere as seguintes frases:
1- a e um cubo.
2- b e mais pequeno do que a.
3- c est
a entre a e d.
4- d e grande.
5- e e maior do que a.
6- b e um tetraedro.
7- e e um dodecaedro.
8- e est
a`
a direita de b.
9- a e mais pequeno do que e.
10- d est
a atr
as de a.
11- b est
a na mesma linha que d.
12- b tem o mesmo tamanho que c.
a. Traduza cada uma das frases dadas para sentencas em linguagem de
l
ogica da LPO.
b. Construa um mundo no qual todas essas sentencas sejam verdadeiras.
3. Dado o significado usual dos smbolos relacionais da linguagem do mundo
de blocos, diga em que casos as conclusoes sao consequencias logicas das
premissas.
(1) Premissa: Lef tOf (a, b). Conclusao: RightOf (b, a).
(2) Premissas: Lef tOf (a, b), b = c. Conclusao: RightOf (c, a).
(3) Premissas: Lef tOf (a, b), RightOf (c, a). Conclusao: Lef tOf (b, c).

(4) Premissas: BackOf (a, b), F rontOf (a, c). Conclusao: F rontOf (b, c).
(5) Premissas: Between(b, a, c), Lef tOf (a, c). Conclusao: Lef tOf (a, b).
4. No mundo de Lestrade nenhum dos objectos tem nome. Atribua nomes
a objectos de modo a que todas as sentencas que listamos se tornem verdadeiras.
(1) Dodec(a)
(2) SameShape(b, a)
(3) Cube(c)
(4) Adjoins(b, c)
(5) Between(b, c, f )
(6) SameSize(f, e)
(7) Lef tOf (d, c)
(8) Smaller(f, a)
(9) b = e
(10) Larger(c, b)
5. Suponhamos que temos duas linguagens de primeira ordem (sem igualdade): a primeira contem os smbolos relacionais binarios DeuP luto e
DeuRaf eiro, e as constantes miguel e clara; a segunda contem o smbolo
relacional tern
ario Deu (onde Deu(x, y, z) significa que x deu y a z) e as
constantes miguel, clara, pluto e raf eiro.
a. Faca uma lista de todas as sentencas atomicas que podem ser expressas na primeira linguagem.
b. Quantas sentencas atomicas podem ser expressas na segunda linguagem?
c. Que constantes e smbolos relacionais binarios precisaria uma linguagem como a primeira de modo a poder dizer-se tudo o que e dito
na segunda?
6. Expanda-se a linguagem dos blocos de modo a incluir smbolos funcionais
un
arios f m, bm, lm e rm, em que f m(x), bm(x), lm(x) e rm(x) denotam
o bloco mais `
a frente na coluna de x, o bloco mais atras na coluna de x, o
bloco mais `
a esquerda na linha de x e o bloco mais `a direita na linha de
x, respectivamente. Considere as sentencas:
(1) T et(lm(e))
(2) f m(c) = c
(3) bm(b) = bm(e)
(4) F rontOf (f m(e), e)
2

(5) Lef tOf (f m(b), b)

(6) SameRow(rm(c), c)
(7) bm(lm(c)) = lm(bm(c))
(8) SameShape(lm(b), bm(rm(e)))
(9) d = lm(f m(rm(bm(d))))
(10) Between(b, lm(b), rm(b))
Avalie da verdade ou falsidade destas sentencas nos Mundos de Leibniz,
Bolzano, Boole e Wittgenstein.
7. S
ao-nos dadas duas linguagens da LPO. A primeira, a que chamamos
linguagem funcional, contem as constantes clara, margarida e jonas, o
smbolo de funcional unario pai, e os smbolos relacionais binarios = e
M aisAltoQue, onde M aisAltoQue(x, y) significa que x e mais alto do
que y. A segunda linguagem, a que chamamos linguagem relacional, tem
as mesmas constantes que a anterior, nao tem smbolos funcionais, e tem os
smbolos relacionais binarios =, M aisAltoQue e P aiDe, onde P aiDe(x, y)
significa que x e pai de y.
a. Traduza as seguintes sentencas atomicas da linguagem relacional
para a linguagem funcional. (Algumas sentencas atomicas, tais como
clara = clara, s
ao sentencas em ambas as linguagens; uma tal sentenca e assim uma traducao de si propria).
i. P aiDe(jonas, clara)
ii. P aiDe(jonas, margarida)
iii. M aisAltoQue(margarida, clara)
b. Das sentencas at
omicas da linguagem funcional que a seguir apresentamos, diga quais podem ser traduzidas para sentencas atomicas da
linguagem relacional.
i. pai(margarida) = jonas
ii. pai(margarida) = pai(clara)
iii. M aisAltoQue(pai(clara), pai(jonas))
8. No mundo de Wittgenstein, veja se a sentenca Between(c, b, d) e
verdadeira.
9. Construa um mundo de blocos em que todas as seguintes sentencas sejam
verdadeiras:
(1) T et(f )
(2) SameCol(c, a)
(3) SameCol(c, b)
(4) Dodec(f )
3

(5) c 6= d
(6) (d 6= e)
(7) SameShape(f, c)
(8) SameShape(d, c)
(9) Cube(e)
(10) T et(c)
10. Quais das seguintes sentencas sao verdadeiras no mundo de Wittgenstein?
Qual e o n
umero m
aximo de sentencas que pode tornar verdadeiras num
s
o mundo mudando o tamanho ou a forma de f (ou ambos)?
(1) T et(f ) Small(f )
(2) T et(f ) Large(f )
(3) T et(f ) Small(f )
(4) T et(f ) Large(f )
(5) T et(f ) Small(f )
(6) T et(f ) Large(f )
(7) (T et(f ) Small(f ))
(8) (T et(f ) Large(f ))
(9) (T et(f ) Small(f ))
(10) (T et(f ) Large(f ))
11. Considere as seguintes quatro sentencas da linguagem dos blocos:
(1) Between(a, b, c) Between(b, a, c)
(2) F rontOf (a, b) F rontOf (c, b)
(3) SameRow(b, c) Lef tOf (b, a)
(4) RightOf (b, a) T et(a)
Avalie da verdade ou falsidade destas sentencas no Mundo de Ramsey.
Faca uma u
nica mudanca no Mundo de Ramsey de modo a tornar todas
as sentencas falsas.
12. Diga se as seguintes sentencas sao verdadeiras ou falsas no mundo de
Wittgenstein:
(1) M edium(c) Smaller(c, a)
(2) (M edium(c) Smaller(c, a))
(3) Cube(d) T et(f )
(4) (Cube(c) T et(f ))
(5) Large(c) Larger(c, a)
4

(6) (Large(c) Larger(c, a))

(7) (Cube(d)Cube(f )). Preveja se esta sentenca vai ter o mesmo valor
de verdade do que (8), (9) ou (10).
(8) Cube(d) Cube(f )
(9) Cube(d) Cube(f )
(10) (Cube(d) Cube(f ))
(11) [Lef tOf (c, f ) RightOf (c, f )]
(12) [Lef tOf (a, d) RightOf (a, d)]
(13) T et(a) (T et(f ) T et(c))
(14) (T et(a) T et(f )) T et(c)
(15) Dodec(a) Dodec(b) Dodec(c)
(16) Lef tOf (a, c) Lef tOf (c, b) Between(c, a, b)
(17) (BackOf (e, b) F rontOf (c, b))
(18) BackOf (d, a) Lef tOf (d, e) F rontOf (b, e) Between(c, d, e)
(19) Smaller(c, e) (Cube(a) Cube(d))
(20) (Dodec(e) T et(f ))
13. Mostre que a sentenca (Small(a) Small(b)) nao e consequencia logica
da sentenca Small(a) Small(b).
14. Mostre que a sentenca Cube(a) (Cube(b) Cube(c)) nao e consequencia
l
ogica da sentenca (Cube(a) Cube(b)) Cube(c).
15. Construa um mundo em que as seguintes sentencas de numeracao mpar
sejam verdadeiras. Seguidamente, construa um mundo em que todas as
sentencas de numerac
ao mpar sejam falsas. O que acontece `as sentencas
de numerac
ao par?
(1) (Dodec(a) T et(a))
(2) Dodec(a) T et(a)
(3) (Small(b) Cube(b))
(4) Small(b) Cube(b)
(5) F rontOf (c, b) BackOf (c, b)
(6) (F rontOf (c, b) BackOf (c, b))
(7) Lef tOf (b, c) Lef tOf (c, a)
(8) (Lef tOf (b, c) Lef tOf (c, a))
16. Expresse por meio duma frase em portugues cada uma das seguintes sentencas (sup
oe-se a interpretacao natural):
(1) Homem(pedro) Casado(pedro)
5

(2) P aiDe(j.maria, pedro) M aeDe(j.maria, pedro)

(3) IrmaoDe(j.maria, pedro) IrmaDe(j.maria, pedro)
(4) Adulto(j.maria) M ulher(j.maria)
(5) mae(mae(pedro)) = susana mae(pai(pedro)) = susana
17. Nas frases que se seguem estao descritas algumas propriedades do mundo
de Boole. Traduza-as em sentencas da linguagem dos blocos:
(1) f n
ao est
a`
a frente de a.
(2) f est
a`
a direita de a e `a esquerda de b.
(3) f est
a atr
as ou e mais pequeno do que a.
(4) Ambos e e d est
ao entre c e a.
(5) Nem e nem d s
ao maiores que c.
(6) e nem e maior nem e mais pequeno do que d.
(7) c e mais pequeno do que a, mas maior do que e.
(8) c est
a`
a frente de f e, alem disso, e mais pequeno do que f .
(9) b est
a na mesma linha do que a.
(10) e nem est
a na mesma coluna de c nem de d.
18. Considere as seguintes frases e confirme que elas sao verdadeiras no mundo
de Wittgenstein. No mundo de Boole ha apenas duas frases verdadeiras.
Quais s
ao? Por fim, traduza as frases para a linguagem dos blocos.
(1) Ou a e pequeno ou c e d sao ambos grandes.
(2) d e e est
ao ambos atras de b.
(3) d e e est
ao ambos atras de b e sao maiores do que ele.
(4) d e c s
ao cubos; alem disso, nenhum deles e pequeno.
(5) Nem e nem a est
ao `a direita de c e `a esquerda de b.
(6) e n
ao e grande ou esta atras de a.
(7) c nem est
a entre a e b nem esta `a frente de ambos.
(8) a e e s
ao ambos tetraedros, ou a e f sao-no ambos.
(9) c est
a entre d e f ou e mais pequeno do que os dois.
(10) N
ao e verdade que b esteja na linha de c.
(11) b est
a na coluna de e, que esta na linha de d, que por sua vez esta na
coluna de a.
19. Traduza as seguintes frases para a linguagem da LPO, usando constantes
individuais e smbolos relacionais e funcionais conforme for precisando.
Faca uma tabela de traducao:

(1) O pai do Ernesto e mais alto do que o Gaspar.

(2) O Abel enganou o Joao no domingo, mas nao na segunda-feira.
(3) O Costa e o Azevedo sao ambos admirados pelo Rui ou pela Rita.
(4) O Silva e um pescador e vive no rio Mira.
20. Suponha que A, B e C sao sentencas atomicas. Diga quais das seguintes
sentencas s
ao tautologias:
(1) (A B) (A B)
(2) (A B) (A B)
(3) (A B) C
(4) (A B) (A (B C))
21. No exerccio anterior deve ter descoberto que duas sentencas sao tautologias e, portanto, verdades logicas. Admita agora que a sentenca A e uma
verdade l
ogica (por exemplo, A e a = a). Que outras sentencas sao verdades l
ogicas, baseado nesta informacao? E se A for uma falsidade logica,
que outras sentencas s
ao verdades logicas?
22. Suponha que A, B, C e D sao sentencas atomicas. Quais das seguintes
sentencas s
ao tautologias e quais sao tt-satisfazveis?
(1) (B (C B))
(2) A (B (C A))
(3) [(A (B C)) (A B)]
(4) [(A B) (C D)]
23. Considere as seguintes sentencas:
(1) a = b
(2) a = b b = b
(3) a = b b = b
(4) Larger(a, b) Larger(a, b)
(5) Larger(a, b) Smaller(b, a)
(6) Larger(a, b) Smaller(a, b) SameSize(a, b)
(7) T et(a) Cube(b) a 6= b
(8) (Small(a) Small(b)) Small(a)
(9) Samesize(a, b) (Small(a) Small(b))
Desenhe dois crculos concentricos que delimitem as tautologias e as verdades l
ogicas. Coloque os n
umeros das sentencas acima nos stios apropriados.
7

24. Considere as seguintes sentencas:

(1) (T et(a) Small(a)) (Cube(b) Cube(b))
(2) Cube(a) (Cube(a) Small(a)) Small(a)
(3) Larger(a, b) (Larger(a, a) Larger(a, b))
(4) Lef tOf (a, b) Lef tOf (b, c) Lef tOf (c, d)
(5) Larger(a, b) Larger(b, c) Larger(c, a)
(6) Between(a, b, c) Lef tOf (a, b) Lef tOf (b, c)
(7) [(Cube(a) Small(a)) (Cube(a) M edium(a))] Cube(a)
(8) [Dodec(b) Larger(b, c)] [M edium(b) T et(b)]
(9) [F rontOf (a, b) Lef tOf (b, c)] Between(b, c, a)
Quais das sentencas acima sao tt-satisfazveis? Quais sao possibilidades
l
ogicas? Poder
ao haver sentencas que sejam tt-satisfazveis sem ser possibilidades l
ogicas? E sentencas que sejam possibilidades logicas sem ser
tt-satisfazveis?
25. Verifique se:
(1) A D e consequencia tautologica de A B, B C e de C D.
(2) D A E e consequencia tautologica de A B C, C D e de
(B E).
(3) B D e consequencia tautologica de A B, C D e de A C.
(4) A E e consequencia tautologica de A B, B C, C D, D E e
de C.
(5) A e consequencia tautologica de A (B C), (B D) e de
(E C) (C D).
26. Suponha que A, B e C sao sentencas atomicas. Preencha as posicoes pares
com uma forma normal negativa das sentencas imediatamente anteriores:
(1) (A B)
(2)
(3) (A B)
(4)
(5) (A B a 6= b)
(6)
(7) (A (B C))
(8)
(9) A (B C A)
(10)
8

27. Simplifique as seguintes expressoes o maximo possvel.

(1) (A B) A
(2) (B (A B C))
(3) (A B) (C D) A
(4) (A B) (B C)
(5) (A B) C (B A) A
28. Use a lei da dupla negacao e as leis de De Morgan para obter formas
normais negativas das seguintes sentencas.
(1) (EmCasa(carlos) EmCasa(clara))
(2) (F eliz(sof ia) (Gosta(carlos, clara) Gosta(clara, carlos)))
(3) ((EmCasa(sof ia)EmCasa(carlos))(F eliz(sof ia)F eliz(carlos)))
29. Neste exerccio A, B, C e D sao sentencas atomicas e as sentencas (1),
(3), (5), (7) e (9) est
ao em forma normal conjuntiva. Preencha as posicoes
pares com uma sentenca em forma normal disjuntiva logicamente equivalente `
a sentenca imediatamente acima.
1- (A B) C
23- A (B C a = b)
45- (A B C) D
67- A B (C D)
89- (A B) (C D)
1030. Neste exerccio A, B e C sao sentencas atomicas. Para cada uma das
sentencas (1), (4), (7), (10) e (13), tranforme-a primeiro numa sentenca
logicamente equivalente em forma normal negativa e, depois, numa em
forma normal conjuntiva.
1- [(A B) (A B)]
234- [(A B) (A B)]
59

67- (A B) C
8910- (A B)
111213- A B
141531. Sejam A, B, C e D literais. Escreva cada uma das sentencas seguintes em
forma normal disjuntiva:
(1) C (A (B C))
(2) B (A B (A B (B C)))
(3) A (A (B (A C)))
32. No que se segue apresentamos uma lista de inferencias. Diga quais das
inferencias s
ao v
alidas. Para as que sao explique por que o sao fazendo
apelo a uma tabela de verdade. Para as que nao sao de um exemplo em
que as premissas s
ao verdadeiras e a conclusao falsa.
(1) De A B e A conclui-se B.
(2) De A B e B conclui-se A.
(3) De (A B) conclui-se A.
(4) De (A B) e A conclui-se B.
(5) De (A B) conclui-se A.
(6) De A B e A conclui-se B.
33. Demonstre F eliz(carlos) a partir das seguintes tres premissas:
1- (EmCasa(tobias) EmCasa(clara))
2- EmCasa(tobias) F eliz(carlos)
3- EmCasa(clara) F eliz(carlos)
34. Considere as seguintes premissas:
1- Lef tOf (a, b) RightOf (a, b)
2- BackOf (a, b) Lef tOf (a, b)
3- F rontOf (b, a) RightOf (a, b)
10

4- SameCol(c, a) SameRow(c, b).

Dado o significado usual dos smbolos relacionais da linguagem dos blocos,
mostre que BackOf (a, b) e consequencia destas premissas. Por sua vez,
ser
a que Lef tOf (b, c) e consequencia das premissas acima? Se sim, de
uma demonstrac
ao informal. Caso contrario, de um exemplo dum mundo
em que as premissas sejam verdadeiras e a conclusao falsa.
35. Considere as seguintes premissas:
1- Cube(a) T et(a) Large(a)
2- Cube(a) a = b Large(a)
3- Large(a) a = c
4- (c = c T et(a))
Ser
a que (a = b) (a = c) e consequencia logica destas premissas? Se
sim, de uma demonstracao informal. Caso contrario, de um exemplo dum
mundo em que as premissas sejam verdadeiras e a conclusao falsa.
36. Considere as premissas do exerccio anterior. Sera que (Large(a)
T et(a)) e consequencia destas premissas? Se sim, de uma demonstracao
informal. Caso contr
ario, de um exemplo dum mundo em que as premissas
sejam verdadeiras e a conclusao falsa.
37. Traduza as seguintes frases para a linguagem da LPO e demonstre que a
quarta sentenca e consequencia das tres primeiras:
(1) Tobias ou Clara estao em casa; porem, Pluto e o Rafeiro nao estao
ambos contentes.
(2) Tobias n
ao est
a em casa ou Rafeiro esta contente.
(3) Clara n
ao est
a em casa ou Pluto nao esta contente.
(4) Pluto n
ao est
a contente.
38. Dado o significado usual das nocoes abaixo, demonstre informalmente que
c n
ao e pequeno a partir das seguintes premissas:
1- b e um tetraedro.
2- c e um cubo.
3- c e maior que b, ou sao ambos o mesmo objecto.
39. Argumente que se uma sentenca S e consequencia tautologica de P e
e consequencia tautol
ogica de Q, entao S e consequencia tautologica de
P Q. [Sugest
ao: suponha que esta a estudar uma linha da tabela de
verdade de P Q e S na qual P Q vem verdadadeira. Divida em dois
casos, consoante P e verdadeira ou Q e verdadeira.]

11

40. Mostre que a demonstracao indirecta e um metodo tautologicamente correcto. Isto e, mostre que se P1 , . . . , Pn , S sao tautologicamente contradit
orias, ent
ao S e consequencia tautologica de P1 , . . . , Pn .
41. Neste exerccio pode usar factos simples sobre os n
umeros naturais. De
demonstrac
oes informais de:
(a) Se n2 e um n
umero natural mpar, entao n e mpar.
(b) Se n + m e mpar entao n m e par.
(c) Suponha que n2 e divisvel por 3. Mostre que n2 e divisvel por 9.
[Sugest
ao: considere tres casos, consoante o resto da divisao de n por
3 e 0, 1 ou 2.]
42. Uma forma de mostrar
que se domina um argumento e tentar generaliza
umero irracional. [Sugestao: vai necessitar
lo. Mostre que 3 e um n
de alguns factos sobre a divisibilidade por 3, como por exemplo o facto
da alnea (c) do exerccio anterior.] Conjecture uma generalizacao deste
resultado.
43. De demonstrac
oes formais do seguinte:
(1) A B a partir da premissa A B.
(2) C B a partir da premissa (A B) C.
(3) (A B) (A C) a partir de A (B C).
(4) A (B C) a partir de (A B) (A C).
44. Demonstre formalmente P (Q R) a partir das premissas P Q e P R
(vai ter que fazer uma sub-demonstracao dentro duma sub-demonstracao).
45. De uma demonstrac
ao formal de A a partir de (A B).
46. De demonstrac
oes formais dos seguintes casos das leis de De Morgan.
(1) P Q a partir da premissa (P Q).
(2) (P Q) a partir da premissa P Q.
47. De demonstrac
oes formais do seguinte:
(1) A a partir das premissas (A B) e (B C).
(2) A B a partir de A B.
(3) A C a partir de A B e B C.
(4) A D a partir de A (B C) e de B C D.
(5) C (A E) a partir de (A B) (C D) e de (B C) (D E).
48. De demonstrac
oes formais das seguintes sentencas (note que nao ha premissas). Pode utilizar a Lei do Terceiro Excludo.
12

(1) A (A B).
(2) (A B) A B.
(3) A (B (A B)).
49. Construa a tabela de verdade da sentenca (A B) (B A). Compare
a sua u
ltima coluna com a da tabela de A B.
50. Quais dos seguintes pares de sentencas sao tautologicamente equivalentes?
(1) A B e A B.
(2) (A B) e A B.
(3) A B e (A B) (B A).
(4) A B e (A B) (A B).
(5) (A B) C e A (B C).
(6) A B e B A.
(7) (A B) C e A (B C).
(8) A (B (C D)) e ((A B) C) D.
(9) A (B (C D)) e ((A B) C) D.
51. Determine o valor l
ogico das sentencas seguintes no mundo de Wittgenstein.
(1) Cube(d) Cube(f )
(2) Cube(d) T et(f )
(3) Dodec(d) T et(f )
(4) Dodec(d) Cube(f )
(5) SameSize(a, b) SameRow(a, b)
(6) SameSize(a, b) SameSize(a, c)
(7) SameSize(a, c) SameSize(a, b)
(8) SameSize(a, c) SameSize(a, d)
(9) (T et(a) Cube(c)) Dodec(d)
(10) Lef tOf (a, b) RightOf (b, a)
(11) Lef tOf (e, d) RightOf (d, e)
(12) (Lef tOf (a, c) Lef tOf (c, b)) Between(c, a, b)
(13) Cube(c) (Large(c) (Cube(c) Large(c)))
(14) (T et(a) Large(a)) (T et(a) Large(a))
(15) Large(d) Small(a)
(16) Dodec(d) Large(b)
(17) Adjoins(a, f ) Adjoins(a, d)
13

(18) (Large(a) Small(b))

(19) (Small(c)(Cube(a)Cube(d))) ((Small(c)Cube(a))(Small(c)
Cube(d)))
(20) Cube(b) (Cube(c) Large(c))
52. Considere as seguintes frases:
(1) Se c e um tetraedro entao a nao e um tetraedro.
(2) O mesmo e verdade de b e d, i.e., se b e um tetraedro entao d nao e
um tetraedro.
(3) Se b e um tetraedro entao c nao e um tetraedro.
(4) Se a e um cubo e b e um dodecaedro, entao a esta `a esquerda de b.
(5) Se b e c s
ao ambos cubos, entao estao na mesma linha mas em colunas
diferentes.
(6) b e um tetraedro somente se for pequeno.
(7) Se a e d s
ao ambos cubos, entao um esta `a esquerda do outro.
(8) d e um cubo se, e somente se, e medio ou grande.
(9) Se b n
ao est
a nem `a esquerda nem `a direita de d, entao um deles e
um tetraedro.
(10) b e c tem o mesmo tamanho se, e somente se, um deles e um tetraedro
e o outro e um dodecaedro.
Exprima cada uma destas frases na linguagem dos blocos e convenca-se
que cada uma delas e verdadeira no Mundo de Montague.
53. Traduza as frases seguintes para a linguagem da LPO.
(1) Se a e um tetraedro entao esta `a frente de d.
(2) a est
a`
a esquerda ou `a direita de d so se for um cubo.
(3) c est
a entre a e e ou entre a e d.
(4) c est
a`
a direita de a desde que este seja pequeno.
(5) c est
a`
a direita de d so se b esta `a direita de c e `a esquerda de e.
(6) Se e e um tetraedro, entao esta `a direita de b se e so se tambem esta
a frente de b.
`
(7) Se b n
ao est
a`
a frente de d entao tambem nao esta atras de d.
(8) c est
a atr
as de a mas `a frente de e.
(9) e est
a`
a frente de d a nao ser que e seja um tetraedro grande.
(10) Pelo menos um entre a, c e e e um cubo.
(11) a e um cubo s
o se b esta `a frente de c.
(12) b e maior do que a e e.
14

(13) a e e s
ao ambos maiores do que c, mas nenhum deles e grande.
(14) d e b tem o mesmo tamanho.
(15) a e grande se e s
o se for um cubo.
(16) e e um tetraedro a menos que c seja um cubo.
(17) Se e n
ao e um tetraedro, entao ou b ou d e pequeno.
(18) b ou d e um dodecaedro se a ou c e um tetraedro.
(19) d e um dodecaedro exactamente no caso de b ser um cubo.
(20) b e um dodecaedro exactamente no caso de c tambem o ser.
54. Considere as seguintes nove sentencas:
(1) T et(a) T et(b) T et(c)
(2) T et(a) (T et(b) T et(c))
(3) T et(b) (Cube(a) T et(c))
(4) T et(c) (Cube(a) Dodec(b))
(5) Larger(a, b) Larger(b, c)
(6) Larger(c, b) Larger(b, a)
(7) SameSize(a, c)
(8) Small(a) M edium(b)
(9) M edium(a) Small(b)
Determine as formas e os tamanhos dos blocos a, b e c.
55.

a. Traduza as seguintes frases para a linguagem da LPO.

(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
(11)
(12)

a e um tetraedro se, e somente se, b tambem e.

c e um tetraedro se b for um tetraedro.
a e c s
ao tetraedros so se pelo menos um deles for grande.
a e um tetraedro mas c nao e grande.
Se d e um dodecaedro, entao nao e grande nem pequeno, assumindo que c e pequeno.
c e medio s
o se nenhum de d, e, f for um cubo.
d e um dodecaedro pequeno a nao ser que a seja pequeno.
e e grande exactamente no caso de d ser grande se, e somente se,
f e grande.
d e e tem o mesmo tamanho.
d e e tem a mesma forma.
f e um cubo ou um dodecaedro, se for grande.
c e maior do que e so se b for maior do que c.

b. Admitindo que todas as sentencas acima sao verdadeiras, determine

as formas e os tamanhos dos blocos a, b, c, d, e e f .
15

56. O objectos do Mundo de Sherlock nao tem nomes. Baptize convenientemente algun(s) objecto(s) com os nomes a, b e c de modo a que as seguintes
sentencas venham verdadeiras.
(1) T et(b) T et(c)
(2) Dodec(b) Dodec(c)
(3) Cube(b) Cube(c)
(4) T et(a) T et(b)
(5) F rontOf (a, b) (F rontOf (b, c) F rontOf (c, b))
(6) Lef tOf (a, c) Lef tOf (a, b)
(7) BackOf (b, a) BackOf (c, b)
57. Preencha o topo de cada coluna da seguinte tabela de verdade com a
sentenca que lhe parece mais apropriada:
P
verdade
falso

verdade
verdade

verdade
falso

falso
verdade

falso
falso

58. Escreva sentencas tautologicamente equivalentes a cada uma abaixo usando apenas os conectivos e :
(1) A B.
(2) A B.
(3) A B.
(4) (A B) (C D).
59. Tratar um smbolo como primitivo, com as suas proprias regras, ou tratalo como smbolo definido pode fazer uma grande diferenca no que concerne
a complexidade das deducoes. Apresente uma deducao formal de (A
`
B) a partir das premissas A e B. Observe que bastaria um so passo para
deduzir A B das mesmas premissas.
60. (1) Segue-se a tabela de verdade do conectivo ternario . Defina este
conectivo em termos de conjuncoes, disjuncoes e negacoes.
P
Q
R
(P, Q, R)
verdade verdade verdade
verdade
verdade verdade
falso
verdade
verdade
falso
verdade
verdade
verdade
falso
falso
falso
falso
verdade verdade
falso
falso
verdade
falso
verdade
falso
falso
verdade
verdade
falso
falso
falso
verdade

16

(2) Considere o conectivo ternario , tal que (P, Q, R) e falsa se e

somente se P e falsa e pelo menos uma das sentencas Q ou R e
verdadeira. Exprima o conectivo na forma normal conjuntiva.
61. Veja se consegue exprimir Se P ent
ao Q, caso contr
ario R como disjunc
ao de duas sentencas, cada qual uma conjuncao de dois literais.
62. Outro conectivo bin
ario que por si so e funcionalmente completo e a barra
de Sheffer. A tabela de verdade da barra de Sheffer e a seguinte:
P
verdade
verdade
falso
falso

Q
verdade
falso
verdade
falso

P |Q
falso
verdade
verdade
verdade

Mostre como se pode exprimir P , P Q e P Q atraves da barra de

Sheffer.
63. Suponha que tem um u
nico conectivo binario e o smbolo do absurdo
. Usando apenas estas expressoes, exprima P , P Q e P Q.
64. Suponha que se introduz um conectivo 5 que exprime a disjuncao exclusiva. Considere o seguinte metodo de deducao: se de P se consegue
deduzir S e de Q se consegue deduzir T entao de P 5 Q deduz-se S 5 T .
Ser
a que este metodo de deducao e correcto? Justifique.
65. Que inferencias abaixo sao tautologicamente correctas? Justifique.
(1) Afirmar o consequente: De A B e B infere-se A.
(2) Modus Tollens: De A B e de B infere-se A.
(3) Fortalecimento do antecedente: De B C infere-se (A B) C.
(4) Enfraquecimento do antecendente: De B C infere-se (AB) C.
(5) Fortalecimento do consequente: De A B infere-se A (B C).
(6) Enfraquecimento do consequente: De A B infere-se A (B C).
(7) Dilema: De A B, A C, e B D infere-se C D.
(8) Transitividade do bicondicional: De A B e de B C infere-se
A C.
66. Sejam A e B sentencas do calculo proposicional. Mostre que
(1) B e consequencia tautologica de (A (A B)) B.
(2) B e consequencia tautologica de (((A B) A) A) B.
67. Considere como premissas as seguintes sentencas:
i. (Small(e) Dodec(e)) Lef tOf (e, f )
17

ii. T et(c) (T et(e) Dodec(e))

iii. e 6= c T et(e)
iv. Small(e) Dodec(e)
v. Lef tOf (e, f ) Larger(f, e)
Para cada uma das seguintes sentencas, diga se se trata de uma consequencia l
ogica das premissas.
(1) T et(e)
(2) T et(c) T et(e)
(3) T et(c) Larger(f, e)
(4) T et(c) Lef tOf (c, f )
(5) Dodec(e) Smaller(e, f )
Em caso afirmativo forneca uma demonstracao informal. Em caso negativo
exiba um mundo onde as premissas sejam verdadeiras e a conclusao seja
falsa.
68. Argumente informalmente que a frase O unicornio se tem um chifre, nao
e um mamfero e consequencia das premissas
(1) O unic
ornio, se tem um chifre e esquivo e perigoso.
(2) Se e esquivo ou mtico, entao o unicornio e raro.
(3) Se o unic
ornio e raro, entao nao e um mamfero.
69. Argumente informalmente que a frase O unicornio tem um chifre se, e
somente se, e m
agico ou mtico e consequencia das premissas
(1) O unic
ornio, se tem um chifre e esquivo e magico, mas se nao tem
nem e uma coisa nem outra.
(2) Se o unic
ornio n
ao tem um chifre entao nao e mtico.
consequencia das premissas seguintes que o unicornio e um ser mtico?
70. E
Que e m
agico? Justifique as suas respostas.
(1) O unic
ornio, se n
ao e mtico, e mamfero, mas se e mtico, e imortal.
(2) Se o unic
ornio e imortal ou mamfero, entao tem um chifre.
(3) Se o unic
ornio tem um chifre entao e magico.
71. Dado o significado usual da linguagem dos blocos, mostre que se pode
concluir que a e pequeno e b e grande das seguintes premissas:
(1) a e um tetraedro grande ou um cubo pequeno.
(2) b n
ao e pequeno.
18

(3) Se a e um tetraedro ou um cubo, entao b e grande ou pequeno.

(4) a e um tetraedro somente se b e medio.
72. Mostre que se pode concluir que se c e pequeno entao b tambem o e a
partir das seguintes premissas:
(1) b e pequeno a n
ao ser que seja um cubo.
(2) Se c e pequeno entao tambem o e d ou e.
(3) Se d e pequeno, c nao o e.
(4) Se b e um cubo entao e nao e pequeno.
73. A partir das seguintes premissas, mostre que se pode concluir que d esta
na mesma linha do que a se, e somente se, nao estiver na mesma linha do
que b.
(1) d est
a na linha de a, de b ou de c.
(2) Se d estiver na mesma linha que b, entao esta na mesma linha que a
somente se n
ao estiver na mesma linha que c.
(3) d est
a na mesma linha que a se, e somente se, estiver na mesma linha
que c.
74. Dado o significado usual dos smbolos relacionais da linguagem do mundo
de blocos, determine se o seguinte conjunto de sentencas e satisfazvel.
(1) Between(a, b, c) Smaller(b, c)
(2) Smaller(b, c) [RightOf (b, c) Between(a, b, b)]
(3) Between(c, b, a) [Between(b, a, c) c = b]
(4) Between(a, b, c) Between(b, a, c) Between(c, b, a)
(5) Between(b, a, c)
Em caso afirmativo construa um mundo onde sejam todas verdadeiras, em
caso negativo demonstre que sao contraditorias.

75. Mostre que se um n

umero real positivo x e irracional entao x tambem e
irracional. [Sugest
ao: Demonstre o contra-recproco.]
76. Argumente que se R e uma consequencia tautologica de P1 , . . . , Pn e Q,
ent
ao Q R e uma consequencia tautologica de P1 , . . . , Pn .
77. Para as inferencias do exerccio 65 que sao correctas, apresente uma deducao
formal.
78. De demonstrac
oes formais para o seguinte (note que, nestes exerccios, nao
h
a premissas):
(1) A (B A).
19

(2) (A (B C)) ((A B) C).

(3) (A B) (A B).
79. De demonstrac
oes formais para o seguinte:
(1) a partir da premissa A A.
(2) (A B) (A B).
80. De demonstrac
oes formais para o seguinte:
(1) A B a partir das premissas A B C, B (A C) e A C.
(2) C D a partir das premissas A (B C), E, (A B) (D E)
e A.
(3) C B a partir das premissas A B, C (D E) e D C,
A E.
81. Apresente deduc
oes formais para as inferencias do exerccio 66. [Este
exerccio e um pouco mais difcil.]
82. De uma demonstrac
ao formal da sentenca Gosta(a, d) a partir das premissas Gosta(a, b), b = c e c = d.
83. De uma demonstrac
ao formal da sentenca Between(c, d, e) a partir das
premissas Between(a, d, b), a = c e e = b.
84. De demonstrac
oes formais do seguinte:
(1) a = c a partir da premissa a = b b = c.
(2) a = c b = d a partir de a = b b = c c = d.
(3) Cube(a) Cube(b) a partir de a = b c = b e Cube(a) Cube(c).
85. De demonstrac
oes formais das seguintes sentencas (note que nao ha premissas).
(1) (a = b Dodec(a) Dodec(b)).
(2) (a = b b = c a 6= c).
(3) (a = b b 6= a).
86. Reescreva as seguintes sentencas de Horn em forma condicional (as sentencas A, B e C s
ao atomicas):
(1) A (A B C) C
(2) (A B C) C
(3) (A B) (A B)

20

87. Use o algoritmo de satisfacao para sentencas de Horn para mostrar que a
conjunc
ao das sentencas A, B C D, C A D, D B, A B
e E e tt-satisfazvel (as sentencas A, B, C, D e E sao atomicas).
88. Use o algoritmo de satisfacao para sentencas de Horn para averiguar se a
conjunc
ao das seguintes sentencas e tt-satisfazvel (as sentencas A, B, C
e D s
ao at
omicas): A B C, C, B A D, A e C A D.
89. Use o algoritmo de satisfacao para sentencas de Horn para averiguar se as
seguintes sentencas s
ao satisfazveis (as sentencas A, B, C, D, E e G sao
at
omicas):
(1) A (A B) (B C)
(2) A (A B) D
(3) A (A B) B
(4) ((A B) C) (A B) A ((C B) D)
(5) ((A B) C) (A B) A ((C B) )
(6) (B C) (C D A) B (C A) C (C B D)
(7) ((E A C D) B) ((A D) B) D ((A E) D) A
(8) (D E) (B C) (G A) ((C E) G) B D A
(9) (B C D E) B (A B) (B E D) E (B C)
(10) (DGBC)G(A C)D((EG) B)E((DE) A)
90. Considere o seguinte programa de Prolog:
AncestorOf(a,b) :- MotherOf(a,b)
AncestorOf(b,c) :- MotherOf(b,c)
AncestorOf(a,b) :- FatherOf(a,b)
AncestorOf(b,c) :- FatherOf(b,c)
AncestorOf(a,c) :- AncestorOf(a,b), AncestorOf(b,c)
MotherOf(a,b) :- TRUE
FatherOf(b,c) :- TRUE
FatherOf(b,d) :- TRUE
a. Este programa pode ser considerado como parte duma base de dados. Para perguntar se estas condicoes implicam B, Prolog adiciona
a cl
ausula FALSE :- B `a base de dados e corre o algoritmo de Horn
nesta base de dados estendida. Se o algoritmo falha, Prolog responde sim. Se nao falha, Prolog responde nao. Justifique
este procedimento.
b. Use o procedimento da alnea anterior para determinar se as seguintes
sentencas s
ao consequencias do programa Prolog dado acima:
21

(1)
(2)
(3)
(4)

AncestorOf(a,c)
AncestorOf(c,d)
MotherOf(a,b)
MotherOf(a,d)

91. Considere uma sentenca de Horn em forma condicional. Mostre que se

nenhuma cl
ausula desta sentenca e da forma > A entao a sentenca
e tt-satisfazvel. De modo similar, se a sentenca nao contem nenhuma
cl
ausula da forma (A1 . . . An ) entao a sentenca e tt-satisfazvel.
92. De uma demonstrac
ao por resolucao que mostre que a seguinte sentenca
em forma normal conjuntiva nao e tt-satisfazvel:
(A C B) A (C B A) (A B).
93. De uma demonstrac
ao por resolucao que mostre que a seguinte sentenca
n
ao e tt-satisfazvel. Como a sentenca nao esta em forma normal conjuntiva, primeiro deve escreve-la desta forma:
A (A ((B C) B)) C.
94. Mostre atraves do metodo da resolucao que a seguinte sentenca e uma
tautologia. Note que para mostrar que uma sentenca e uma tautologia
basta mostrar que a sua negacao nao e tt-satisfazvel.
A (B C) (A B) (A B C).
95. De demonstrac
oes por resolucao das seguintes consequencias (tautologicas).
Recorde-se que basta ver que o conjunto das premissas adicionado com a
negac
ao da conclus
ao n
ao e tt-satisfazvel.
(1) A e consequencia de B, A C e (C B).
(2) A B e consequencia de C A e C.
(3) A (B C) e consequencia de A B e C (A B).
(4) B e consequencia de A B e A.
(5) (A B) C e consequencia de B C.
(6) C D e consequencia de A B, A C e B D.
96. Quais dos seguintes termos se podem unificar com pai(x)? Caso se possam
unificar, apresente uma substituicao unificadora.
(1) clara
(2) mae(z)
(3) pai(mae(z))
(4) pai(mae(x))
22

(5) pai(pai(clara))
97. Quais dos seguintes termos se podem unificar com f (x, g(x))? Caso se
possam unificar, apresente um unificador.
(1) f (z, z)
(2) f (g(y), z)
(3) f (g(y), y)
(4) f (h(y), z)
(5) f (f (y, a), g(f (z, a)))
(6) h(a, g(a))
(7) f (g(y), g(z))
(8) f (x, g(a))
98. Encontre seis termos distintos (excluindo variantes alfabeticas) que possam ser simultaneamente unificados de modo a obter h(f (h(a), g(a))).
99. Quantas substituic
oes unificam o par de termos g(f (x, x)) e g(f (h(a), g(b)))?
100. Obtenha um unificador do seguinte par de termos: g(f (x, y)) e g(f (h(y), g(z))).
101. Diga quais das seguintes sentencas sao verdadeiras no Mundo de Peirce:
(1) x Cube(x)
(2) x Dodec(x)
(3) x Small(x)
(4) x Small(x)
(5) x T et(x)
(6) x Dodec(x)
(7) x Large(x)
(8) y Large(y)
(9) x BackOf (x, x)
(10) x (Cube(x) T et(x))
(11) x (Cube(x) T et(x))
(12) x (Large(x) Cube(x))
(13) x (M edium(x) Cube(x))
(14) x (Small(x) T et(x))
(15) x T et(x) x Large(x)
(16) x (T et(x) Large(x))
(17) x (Dodec(x) Small(x))
23

(18) y (Cube(y) Small(y))

(19) x (M edium(x) T et(x))
(20) x ((Small(x) Large(x)) Dodec(x))
(21) x T et(x) y T et(y) z T et(z) uT et(u)
(22) x (Cube(x) T et(x))
(23) x (Cube(x) Large(x))
(24) x Cube(x) x Large(x)
(25) x Cube(x) y Cube(y)
(26) x Cube(x) x Cube(x)
(27) y T et(y) y T et(y)
(28) x Cube(x) x Cube(x)
(29) y Dodec(y) v Dodec(v)
(30) x Dodec(x) x Dodec(x)
102. Cada uma das seguintes sentencas esta numa das quatro formas Aristotelicas. Construa um mundo onde todas as sentencas sejam verdadeiras:
(1) x (T et(x) Large(x))
(2) x (T et(x) M edium(x))
(3) x (Cube(x) Small(x))
(4) y (Dodec(y) Large(y))
(5) x (Cube(x) M edium(x))
(6) x (Dodec(x) Small(x))
(7) x (T et(x) Small(x))
(8) y (Cube(y) T et(y))
103. Diga qual o valor l
ogico das seguintes sentencas no Mundo de Maigret:
(1) x T et(x)
(2) x (T et(x) Large(x))
(3) x (T et(x) Large(x))
(4) x ((T et(x) T et(x)) Large(x))
(5) x (T et(x) Large(x))
(6) x (T et(x) Large(x))
(7) x (T et(x) Large(x) Large(x))
104. Sabendo que todas as sentencas seguintes sao verdadeiras no Mundo de
Maigret, identifique cada um dos objectos a, b, c, d, e e f .

24

(1) Between(c, a, d) T et(c)

(2) x BackOf (x, a) x F rontOf (x, c)
(3) F rontOf (a, c) x (BackOf (x, a) F rontOf (x, c))
(4) x Lef tOf (x, d) Large(b)
(5) x y (T et(x) T et(y) Between(b, x, y))
(6) F rontOf (d, b) Lef tOf (d, f )
(7) Dodec(e)
(8) xLef tOf (x, e) Large(e).
105. Descreva algumas propriedades do Mundo de Reichenbach atraves de sentencas na forma Aristotelica:
(1) Todos os tetraedros sao pequenos.
(2) Todos os dodecaedros sao pequenos, medios ou grandes.
(3) Algum dos dodecaedros e grande.
(4) Algum dos dodecaedros nao e grande.
(5) Algum dos dodecaedros e pequeno.
(6) Algum dos dodecaedros nao e pequeno.
(7) Nenhum cubo e grande.
106. Suponha que expandimos a linguagem da aritmetica com os smbolos relacionais un
arios P ar(x) e P rimo(x) que significam x e um n
umero par
e x e um n
umero primo, respectivamente. Exprima as seguintes frases
na linguagem da LPO:
(1) Nenhum n
umero par e primo.
(2) Todo o primo e mpar ou igual a 2.
(3) Existem n
umeros primos pares.
(4) Existem n
umeros primos que nao sao pares.
Quais destas sentencas sao verdadeiras?
107. Traduza para sentencas da linguagem da LPO as seguintes frases, utilizando em cada sentenca apenas um u
nico simbolo e sem utilizar o
simbolo :
(1) Algum objecto e grande.
(2) Algum objecto e um cubo.
(3) Algum objecto e um cubo grande.
(4) H
a cubos grandes.
(5) H
a um cubo grande `a esquerda de b.
25

(6) H
a um cubo `
a esquerda de b.
(7) b tem um cubo `
a sua esquerda.
(8) b est
a`
a direita de um cubo grande.
(9) Algum objecto `
a esquerda de b esta atras de c
(10) H
a um cubo grande que esta `a esquerda de b e atras de c
(11) Algum dodecaedro nao e grande.
(12) Existem objectos que nao sao dodecaedros grandes.
(13) N
ao acontece existirem dodecaedros grandes.
(14) b n
ao est
a`
a esquerda de nenhum cubo.
108. Considere as sentencas:
(1) x(Dodec(x) Large(x))
(2) x(Dodec(x) Large(x))
(3) x(T et(x) Small(x))
(4) x(T et(x) Small(x)).
a. Qual das sentencas e traducao de :
i. Algum dodecaedo e grande?
ii. Todos os tetraedros sao pequenos?
b. Construa um mundo onde as sentencas 2 e 4 sao verdadeiras e 1 e 3
s
ao falsas.
c. Se possvel, construa um mundo onde a sentenca 3 e verdadeira e 4
e falsa. Caso n
ao seja possvel, explique porque.
d. Se possvel, construa um mundo onde a sentenca 1 e verdadeira e 2
e falsa. Caso n
ao seja possvel, explique porque.
109. Traduza os seguintes factos para a linguagem da LPO, de modo que cada
sentenca possua um u
nico simbolo e nenhum simbolo .
(1) Todos os cubos s
ao pequenos.
(2) Cada cubo pequeno esta `a direita de a.
(3) Todos os dodecaedros sao grandes.
(4) a est
a`
a esquerda de todos os dodecaedros.
(5) Todo o tetraedro medio esta `a frente de b.
(6) Cada cubo est
a a` frente de b ou atras de a.
(7) Todo o cubo est
a `a direita de a e `a esquerda de b.
(8) Tudo o que est
a entre a e b sao cubos.
(9) Tudo que e mais pequeno que a e um cubo.
26

(10) Todos os dodecaedros nao sao pequenos.

(11) Nenhum dodecaedro e pequeno.
(12) a n
ao est
a`
a direita de todos os objectos.
(13) a n
ao est
a`
a direita de nenhum objecto.
(14) a n
ao est
a`
a direita de nenhum cubo.
(15) Se um objecto e um cubo, entao esta `a direita de a e `a esquerda de
b.
(16) Um objecto e um cubo se e so se esta `a direita de a e `a esquerda de
b.
110. Descreva os seguintes factos atraves de sentencas da linguagem da LPO:
(1) b e um tetraedro e e mais pequeno do que e.
(2) N
ao existem cubo medios.
(3) Nada est
a`
a frente de b.
(4) Todo o cubo est
a `a frente ou atras de e.
(5) Nenhum cubo esta entre a e c.
111. Construa um mundo onde todas as sentencas seguintes sao verdadeiras:
(1) x(Cube(x) Large(x))
(2) x(Large(x) Lef tOf (x, c))
(3) xCube(x)
112. Suponha que expandimos a linguagem do mundo dos blocos de modo a
incluir os smbolos funcionais unarios f m, bm, lm e rm ja descritos antes.
Determine o valor de verdade de cada uma das seguintes sentencas nos
mundos de Bolzano, Boole e Wittgenstein:
(1) y(f m(y) = e)
(2) x(lm(x) = b x 6= b)
(3) xSmall(f m(x))
(4) x(Small(x) f m(x) = x)
(5) x(Cube(x) Dodec(lm(x))
(6) x(rm(lm(x)) = x)
(7) x(f m(bm(x)) = x)
(8) x(f m(x) 6= x T et(f m(x)))
(9) x(lm(x) = b SameRow(x, b))
(10) y(lm(f m(y)) = f m(lm(y)) Small(y))

27

113. Considere a linguagem da LPO com os simbolos funcionais unarios m

ae e
pai e uma variedade de constantes. De acordo com a tabela
Filho(a)
Clara
M
onica
Maria
Helena
Jose
J
acome
Edite

M
ae
Maria
Maria
Helena
Ana
Edite
Amelia
Ester

Pai
Jose
Jose
Jacome
Guilherme
Carlos
Antonio
Joao

escolha, se possvel, uma pessoa que satisfaca cada uma das seguintes
f
ormulas:
(1) m
ae(x) = edite
(2) pai(x) = j
acome
(3) m
ae(pai(x)) = maria
(4) pai(m
ae(x)) = jo
ao
(5) m
ae(pai(x)) = am
elia
(6) pai(m
ae(pai(x))) = jo
ao
(7) pai(pai(m
ae(x))) = ant
onio
(8) pai(pai(j
acome)) = x
(9) pai(pai(m
ae(clara))) = x
114. Considere a tabela:
pessoa
Clara
Amelia
Ana
Maria
Edite
Carlos
Jose

altura
145 cm
162 cm
171 cm
169 cm
171 cm
177 cm
188 cm

pessoa
Monica
Ester
Guilherme
Helena
Antonio
J
acome
Joao

altura
160 cm
165 cm
174 cm
169 cm
174 cm
181 cm
179 cm

De acordo com esta tabela e com a tabela do exerccio anterior, verifique

quais das seguintes sentencas sao verdadeiras (admita que o domnio e
constitudo pelas pessoas que figuram na tabela).
(1) xM aisAltoQue(x, m
ae(x))
(2) yM aisAltoQue(m
ae(m
ae(y)), m
ae(pai(y)))
(3) x(altura(x) < 150cm M aisAltoQue(pai(x), j
acome))
(4) z(z 6= pai(clara) M aisAltoQue(pai(clara), z))

28

115. Exprima as seguintes sentencas na linguagem do Exerccio 106 (note que

Quadrado(x) n
ao e um smbolo relacional da nossa linguagem).
(1) Nenhum quadrado e primo.
(2) H
a um quadrado mpar.
(3) O quadrado dum primo e um primo.
(4) O quadrado dum primo maior que 2 e mpar.
(5) O quadrado dum n
umero maior do que 1 e maior que o proprio
n
umero.
116. Nos exerccios 106 e 115 expandimos a linguagem da aritmetica com dois
smbolos relacionais unarios P ar(x) e P rimo(x). Isso foi feito apenas por
uma quest
ao de conveniencia, visto que nao e realmente necessario. Esta
a ver porque?
117. Para cada uma das sentencas seguintes determine a sua forma proposicional. Depois diga se se trata duma tautologia, duma validade de primeira
ordem, duma verdade logica ou de nenhuma destas situacoes.
(1) x(x = x)
(2) xCube(x) Cube(a)
(3) Cube(a) xCube(x)
(4) x(Cube(x) Small(x)) x(Small(x) Cube(x))
(5) v(Cube(v) Small(v)) v(Cube(v) Small(v))
(6) xCube(x) xCube(x)
(7) [z(Cube(z) Large(z)) Cube(b)] Large(b)
(8) xCube(x) (xCube(x) yDodec(y))
(9) (xCube(x) yDodec(y)) xCube(x)
(10) [(uCube(u) uSmall(u)) uSmall(u)] uCube(u)
118. Diga se os seguintes argumentos sao tautologicamente validos, ou sao
v
alidos em primeira-ordem, ou sao logicamente validos (i.e., dado o significado dos smbolos relacionais), ou nenhum dos casos.
(1) De Cube(a) Cube(b) e Small(a) Large(b) conclui-se x(Cube(x)
Small(x)) x(Cube(x) Large(x)).
(2) De xCube(x) ySmall(y) e ySmall(y) conclui-se xCube(x).
(3) De xCube(x) ySmall(y) e ySmall(y) conclui-se xCube(x).
(4) De
x(T et(x) Lef tOf (x, b)) x(T et(x) RightOf (x, b))
x(T et(x) SameCol(x, b)) x(T et(x) Lef tOf (x, b))
29

x(T et(x) RightOf (x, b)) x(T et(x) SameCol(x, b))

conclui-se
x(T et(x) SameCol(x, b))
(5) De Cube(a) Cube(b) e Small(a) Large(b) conclui-se x(Cube(x)
Small(x) Smaller(x, x)).
(6) De Cube(a) e Dodec(b) conclui-se a 6= b.
(7) De Cube(a) e Cube(b) conclui-se a 6= b.
(8) De Cube(a) e Cube(a) conclui-se a 6= b.
(9) De x(Dodec(x) SameCol(x, c)) conclui-se Dodec(c).
(10) De z(Small(z) Cube(z)) e Cube(d) conclui-se Small(d).
(11) De z(Small(z) Cube(z)) e w(Cube(w) Lef tOf (w, c)) concluise y(Small(y) Lef tOf (y, c))
(12) De
x(Cube(x) Large(x)) (Cube(c) Large(c))
T et(c) Cube(c)
T et(c)
conclui-se
x(Cube(x) Large(x))
119. Para cada uma das seguintes sentencas decida se e uma verdade logica (i.e.,
dado o significado dos smbolos relacionais). Se nao for, tente arranjar um
mundo como contra-exemplo. Se for, diga se alem disso e uma validade
de primeira-ordem (h
a tres). Para as restantes quatro sentencas (aquelas
que sendo verdades l
ogicas nao sao validades de primeira-ordem), use o
metodo da substituic
ao para arranjar contra-exemplos.
(1) x(Lef tOf (x, b) RightOf (b, x))
(2) x((Small(x) BackOf (x, c)) Dodec(x))
(3) x((Cube(x) x 6= b) (Larger(x, b) Smaller(x, b)))
(4) Dodec(d) x(x = d Dodec(x))
(5) y(Smaller(a, y) Smaller(y, b)) Smaller(a, b)
(6) x(Larger(x, c) x 6= c)
(7) x(Between(x, a, d) Between(x, a, d))
(8) x(Between(x, a, d) Between(x, d, a))
(9) x(Dodec(x) (x = d Small(x)))
(10) x(Cube(x) Lef tOf (x, e)) y(Cube(y) Lef tOf (y, e))

30

120. Atraves duma cadeia de equivalencias mostre que a negacao de Algum P

e Q, expressa como x(P (x) Q(x)), e equivalente a Nenhum P e Q ,
expressa como x(P (x) Q(x)).
121. Cada uma das primeiras tres sentencas seguintes e equivalente a uma das
u
ltimas tres. Faca o emparelhamento.
(1) x(Cube(x) Small(x))
(2) x(Cube(x) Large(x))
(3) x(Large(x) Dodec(x))
(4) x(Large(x) Cube(x))
(5) x(Small(x) Cube(x))
(6) x((Large(x) Dodec(x)) (Dodec(x) Large(x)))
122. Quais dos bicondicionais seguintes sao equivalencias logicas? Para os que
n
ao s
ao de um contra-exemplo.
(1) (xCube(x) xDodec(x)) x(Cube(x) Dodec(x))
(2) zSmall(z) zSmall(z)
(3) xT et(b) wT et(b)
(4) w(Dodec(w) Large(w)) (wDodec(w) wLarge(w))
(5) w(Dodec(w) Large(b)) (wDodec(w) Large(b))
(6) x(Cube(x) (Small(x)Large(x))) z(Cube(z)Small(z)
Large(z))
123. Considere as seguintes catorze sentencas e avalie do seu valor de verdade
no Mundo de Peirce. De seguida mude o stio e o tamanho de um u
nico
bloco de modo a que as primeiras sete sentencas venham verdadeiras e as
u
ltimas sete falsas,
(1) xyLef tOf (x, y)
(2) xy(T et(x) Cube(y))
(3) xy(T et(x) Lef tOf (x, y))
(4) xy(T et(x) Lef tOf (x, y) Cube(y))
(5) xy(M edium(x) T et(y))
(6) xy(M edium(x) Larger(y, x))
(7) xy(M edium(x) T et(y) Larger(y, x))
(8) xyLef tOf (x, y)
(9) xy(Lef tOf (x, y) Cube(x))
(10) xy((Cube(x) T et(y)) Lef tOf (x, y))
(11) xy((Large(x) Small(y)) Lef tOf (x, y))
31

(12) xyLarger(x, y)
(13) xy(Larger(x, y) Cube(x))
(14) xy((Cube(x) T et(y)) Larger(x, y))
124. Verifique se as seguintes sentencas sao verdadeiras no Mundo de Leibniz:
(1) x(y(x = y) (x = d))
(2) x(yBetween(x, y, c) x = b)
(3) x(yLef tOf (y, x) x = a)
(4) x((yLef tOf (y, x) yF rontOf (y, x)) x = a)
(5) yzx((Cube(y) Cube(z) Between(x, y, z)) x = b)
(6) xyz((Between(x, y, z) x = b) (y = a y = c))
(7) xyz((Between(x, y, z) T et(y) T et(z)) x = e)
(8) xy((Cube(x) Cube(y)) zBetween(z, x, y))
(9) xy((x 6= y Cube(x) Cube(y)) zBetween(z, x, y))
(10) yx((T et(x) Small(x)) x = y)
(11) yx((T et(x) Large(x)) x = y)
(12) yx((T et(x) M edium(x)) x = y)
(13) xy((Lef tOf (x, y) RightOf (x, y)) x 6= y)
(14) xy((F rontOf (x, y) BackOf (x, y)) x 6= y)
(15) xy(x 6= y (Lef tOf (x, y) RightOf (x, y)))
(16) xy(x 6= y (Lef tOf (x, y) RightOf (x, y) BackOf (x, y)))
(17) xy(x 6= y (Lef tOf (x, y) RightOf (x, y) F rontOf (x, y)
BackOf (x, y)))
(18) xy(x 6= y (Lef tOf (x, y) RightOf (x, y) F rontOf (x, y)
BackOf (x, y)))
125. Verifique se as seguintes sentencas sao verdadeiras no Mundo de Peano:
(1) xySmaller(x, y)
(2) x(Dodec(x) ySmaller(x, y))
(3) x(Dodec(x) ySmaller(x, y))
(4) yx(Dodec(x) Smaller(x, y))
(5) yx(Dodec(x) Smaller(y, x))
(6) yx(Dodec(x) Smaller(x, y))
(7) x((Cube(x) M edium(x)) yBackOf (y, x))
(8) x((Cube(x) M edium(x)) yBackOf (y, x))
(9) x((Cube(x) Large(x)) yBackOf (y, x))
32

(10) x((Cube(x) Large(x)) yBackOf (y, x))

(11) x(T et(x) y(Cube(y) BackOf (y, x)))
(12) x(T et(x) y(BackOf (y, x) Cube(y)))
(13) x(Cube(x) y(Dodec(y) Smaller(y, x)))
(14) x(Cube(x) y(Smaller(y, x) Dodec(y)))
(15) x((Cube(x) yLef tOf (x, y)) Large(x))
(16) x((T et(x) yBackOf (y, x)) Small(x))
(17) x(yBackOf (y, x) Cube(x))
(18) x(yF rontOf (y, x) T et(x))
(19) x(T et(x) yzBetween(x, y, z))
(20) yx(T et(x) zBetween(x, y, z))
(21) zx(T et(x) yBetween(x, y, z))
(22) yzx(T et(x) Between(x, y, z))
(23) xy((T et(x) Cube(y)) zBetween(z, x, y))
(24) xy((T et(x) Cube(y) Larger(y, x)) zBetween(z, x, y))
(25) xy((T et(x) Cube(y) zBetween(z, x, y)) Larger(y, x))
(26) x(T et(x) y(Cube(y) zBetween(z, x, y)))
(27) zx(T et(x) y(Cube(y) Between(z, x, y)))
(28) xyz(T et(x) T et(y) T et(z) Lef tOf (x, y) Lef tOf (x, z))
(29) xyz(T et(x) T et(y) T et(z) Lef tOf (x, y) Lef tOf (y, z))
(30) xyz(Dodec(x)Dodec(y)Dodec(z)Lef tOf (x, y)Lef tOf (y, z))
126. Considere o Mundo de Peano. Traduza as seguintes observacoes para a
linguagem da LPO.
(1) Todos os dodecaedros sao pequenos.
(2) Existe um cubo medio.
(3) H
a pelo menos dois cubos.
(4) N
ao e verdade que cada cubo esta `a frente de um dodecaedro.
127. Traduza para a linguagem da LPO as seguintes frases:
(1) Cada tetraedro esta `a frente de todos os dodecaedros.
(2) Nenhum dodecaedro tem um objecto atras de si.
(3) Nenhum tetraedro e do mesmo tamanho de nenhum cubo.
(4) Cada dodecaedro e do mesmo tamanho que algum cubo.
(5) Objectos que est
ao entre dois tetraedros sao cubos pequenos.
(6) Cada cubo est
a entre dois objectos.
33

(7) Cada cubo com um objecto atras de si e pequeno.

(8) Cada dodecaedro que nao tem nada `a sua direita e pequeno.
(9) Cada dodecaedro que nao tem nada `a sua direita tem algum objecto
a sua esquerda.
`
(10) Todos os dodecaedros que estao `a esquerda de algum cubo sao grandes.
128. Traduza para a linguagem da LPO as seguintes frases:
(1) S
o objectos grandes nao tem nada `a frente deles.
(2) Se um cubo tem um objecto `a sua frente entao e pequeno.
(3) Todo o cubo que estiver atras de um dodecaedro e mais pequeno do
que ele.
(4) Se e est
a entre dois objectos entao eles sao pequenos.
(5) Se um tetraedro esta entre dois objectos entao eles sao pequenos.
(6) Se um cubo est
a `a direita de um dodecaedro mas nao atras dele,
ent
ao e pelo menos tao grande como o dodecaedro.
(7) Nenhum cubo que nao tenha nada `a sua esquerda esta entre dois
cubos.
(8) Os u
nicos cubos grandes sao b e c.
(9) Cubos grandes, no maximo, sao b e c.
129. Traduza para a linguagem da LPO as seguintes frases:
(1) Todos os objectos sao cubos ou tetraedros.
(2) Todos os cubos estao `a esquerda de todos os tetraedros.
(3) H
a pelo menos tres tetraedros.
(4) Cada cubo pequeno esta atras de um cubo grande.
(5) Todos os tetraedros sao pequenos.
(6) Cada dodecaedro e mais pequeno do que algum tetraedro.
130. Traduza para a linguagem da LPO
(1) Nada `
a esquerda de a e maior do que tudo `a esquerda de b.
(2) Nada `
a esquerda de a e mais pequeno do que algo `a esquerda de b.
(3) Os objectos `
a esquerda de a sao os mesmos que os objectos `a esquerda
de b.
(4) Cada objecto `
a esquerda de a e mais pequeno do que algum objecto
que est
a atr
as de todo o cubo `a direita de b.
(5) Todo o cubo e mais pequeno do que algum dodecaedro mas nenhum
cubo e mais pequeno do que todos os dodecaedros.

34

(6) Se a e maior do que algum cubo entao e mais pequeno do que todos
os tetraedros.
(7) Todos os objectos sem nada em frente sao tetraedros.
(8) Nada, a menos que seja um cubo, esta entre dois objectos.
(9) b tem algo atr
as que tem pelo menos dois objectos por detras.
(10) Mais do que um objecto e mais pequeno do que b.
131. Traduza para a linguagem da LPO as seguintes frases duas vezes: uma
usando o smbolo de funcional m
ae e outra usando o smbolo relacional
Ma
eDe.
(1) A m
ae da Clara e mais velha do que a mae do Miguel.
(2) A m
ae da m
ae de qualquer pessoa e mais velha do que a Margarida.
(3) H
a alguem cuja avo materna e mais nova do que a Maria.
132. Traduza o seguinte para a linguagem da LPO com smbolos funcionais
altura e pai, o smbolo relacional >, e constantes miguel e clara.
(1) O pai do Miguel e mais alto do que o Miguel mas nao e mais alto do
que o pai de Clara.
(2) Alguem e mais alto do que o pai da Clara.
(3) Cada pessoa e mais alta do que alguem.
(4) Ninguem e mais alto do que si proprio.
(5) Quem for mais alto do que a Clara tambem e mais alto do que o
Miguel.
(6) Quem for mais baixo do que a Clara tambem e mais baixo do que
alguem que e mais baixo do que o pai do Miguel.
133. Considere a linguagem dos blocos aumentada com os smbolos funcionais
un
arios lm, rm, f m e bm ja discutidos anteriormente. Traduza para esta
linguagem de primeira-ordem as seguintes sentencas.
(1) Todo o cubo est
a `a direita do bloco mais `a esquerda da mesma linha.
(2) Todo o bloco est
a na mesma linha do bloco mais `a esquerda dessa
linha.
(3) Dados dois blocos, o primeiro e o bloco mais `a esquerda da linha em
que est
a o segundo se, e somente se, nao ha blocos `a esquerda do
segundo.
(4) Dados dois blocos, o primeiro e o bloco mais `a esquerda da linha em
que est
a o segundo se, e somente se, nao ha blocos `a esquerda do
segundo e os dois blocos estao na mesma linha.
134. Use a linguagem da aritmetica para exprimir o seguinte:
35

(1) Todo o n
umero e zero ou maior do que zero.
(2) A soma de dois n
umeros maiores do que 1 e sempre menor do que o
seu produto.
(3) Todo o n
umero e par.
(4) Se x2 = 1 ent
ao x = 1. [Sugestao: nao se esqueca do quantificador
implcito.]

(5) Para todo o n

umero x, se x2 + bx + c = 0 entao ou x = b+ 2b 4c ou

2
x = b 2b 4c . [Neste problema b e c sao constantes, mas x e uma
vari
avel.]
135. A partir das regras de reducao `a forma normal prenexa dadas na aula
te
orica, obtenha as regras seguintes atraves da reducao do sinal em
termos de e (no que se segue, a variavel x nao ocorre livre em Q):
(1) xP Q x(P Q)
(2) xP Q x(P Q)
(3) Q xP x(Q P )
(4) Q xP x(Q P )
136. H
a certas regras que, superficialmente, parecem validas mas que, de facto,
n
ao o s
ao. Construa um mundo em que as sentencas 1 e 3 sao verdadeiras,
mas as 2 e 4 s
ao falsas.
1- x[Cube(x) T et(x)]
2- xCube(x) xT et(x)
3- xCube(x) xSmall(x)
4- x[Cube(x) Small(x)]
137. Para cada sentenca abaixo, escreva imediatamente a seguir uma sentenca
logicamente equivalente em forma normal prenexa:
(1) x[T et(x) yLef tOf (x, y)]
(2)
(3) x[(Cube(x) ySmaller(y, x)) M edium(x)]
(4)
(5) yCube(y) xSmall(x)
(6)
(7) v[xLarger(x, v) xLef tOf (x, v)]
(8)
(9) xy[(x 6= y Cube(x) Cube(y)) zBetween(z, y, x)]
(10)
36

(11) x[Cube(x) xSmall(x)]

(12)
(13) x[Cube(x) xCube(x)]
(14)
(15) x[Cube(x) y(T et(y) zBetween(z, x, y))]
(16)
(17) [xT et(x) ySmall(y)]
(18)
(19) [xCube(x) xT et(x) xDodec(x)]
(20)
138. Das premissas
(1) x[(Brillig(x) T ove(x)) (M imsy(x) Gyre(x))]
(2) y[(Slithy(y) M imsy(y)) T ove(y)]
(3) xSlithy(x)
queremos concluir x[Slithy(x) M imsy(x)]. Na demonstracao que se
segue, indique, justificando, os passos validos e invalidos e, neste u
ltimo
caso, apresente as suas correcoes:
Pela terceira premissa, sabemos que alguma coisa e slithy. Seja b uma
delas. Pela segunda premissa, sabemos que b e tove. Pela primeira premissa, vemos que b e mimsy. Assim, b e slithy e mimsy. Logo, algo e slithy
e mimsy.
139. Das premissas
(1) x[Brillig(x) (M imsy(x) Slithy(x))]
(2) y[(Slithy(y) M imsy(y)) T ove(y)]
(3) x[T ove(x) (Outgrabe(x, b) Brillig(x))]
queremos concluir z[Brillig(z) M imsy(z)]. Na demonstracao que se
segue, indique, justificando, os passos validos e invalidos e, neste u
ltimo
caso, apresente as suas correcoes:
Para demonstrar a conclusao, basta ver que x[Brillig(x) M imsy(x)]
e x[M imsy(x) Brillig(x)]. Seja b qualquer coisa brillig. Por (1) conclumos que b e mimsy e slithy. Logo e mimsy, como queramos. Assim
conclumos a primeira das duas sentencas desejadas. Para demonstrar a
segunda, seja b qualquer coisa mimsy. Pela segunda premissa, b e tambem
tove. Mas assim, pela terceira premissa, b e brillig, como queramos.
Temos a conclus
ao.

37

140. Das premissas

(1) x[(Brillig(x) T ove(x)) M imsy(x)]
(2) y[(T ove(y) M imsy(y)) Slithy(y)]
(3) xBrillig(x) xT ove(x)
queremos concluir zSlithy(z). Na demonstracao que se segue, indique,
justificando, os passos validos e invalidos e, neste u
ltimo caso, apresente
as suas correc
oes:
Pela terceira premissa sabemos que existem brilligs que sao toves. Seja
b um deles. Pela primeira premissa, b e mimsy. Logo, pela segunda, b e
slithy. Assim, h
a pelo menos um slithy.
141. Das seguintes premissas
(1) y(Cube(y) Dodec(y))
(2) x(Cube(x) Large(x))
(3) xLarge(x)
podemos concluir
(1) x Dodec(x)?
(2) x[Dodec(x) Small(x)]?
Em caso afirmativo apresente uma demonstracao informal, caso contrario
construa um mundo onde as premissas sao verdadeiras e a conclusao falsa.
142. Suponha que se tem as seguintes premissas:
(1) x(Cube(x) Dodec(x))
(2) x(Small(x) T et(x))
Podemos concluir xSmall(x)? Em caso afirmativo apresente uma demonstrac
ao informal, caso contrario construa um mundo onde as premissas sao
verdadeiras e a conclusao falsa.
143. Suponha que se tem as seguintes premissas:
(1) x(Cube(x) Dodec(x))
(2) x(Cube(x) (Large(x) Lef tOf (c, x)))
Podemos concluir zDodec(z)? Em caso afirmativo apresente uma demonstrac
ao informal, caso contrario construa um mundo onde as premissas sao
verdadeiras e a conclusao falsa.
144. Suponha que se tem as seguintes premissas (e seus significados):
38

(1) x(Cube(x) (T et(x) Small(x)))

(2) x(Large(x) BackOf (x, c))
Podemos concluir
(1) x[F rontOf (c, x) Cube(x)]?
(2) x[Small(x) BackOf (x, c)]?
Em caso afirmativo apresente uma demonstracao informal, caso contrario
construa um mundo onde as premissas sao verdadeiras e a conclusao falsa.
145. Suponha que se tem as seguintes premissas (e seus significados):
(1) x((Cube(x) Large(x)) (T et(x) Small(x))))
(2) x(T et(x) BackOf (x, c))
Podemos concluir x(Small(x) BackOf (x, c))? Em caso afirmativo
apresente uma demonstracao informal, caso contrario construa um mundo
onde as premissas s
ao verdadeiras e a conclusao falsa.
146. Comente a seguinte demonstracao de que
x[P essoa(x) z(P essoa(z) y D
a(x, y, z))]
e consequencia de
x[P essoa(x) yz[P essoa(z) D
a(x, y, z)]] .
Admitamos a premissa e tentemos obter a conclus
ao. Seja b uma pessoa
arbitr
aria no domnio do discurso. Temos que demonstrar
z(P essoa(z) y D
a(b, y, z)) .
Seja c uma pessoa arbitr
aria no domnio do discurso. Temos que demonstrar
y D
a(b, y, c) .
Mas isto decorre imediatamente da nossa premissa, porque h
a algo que b
d
a a todos.
147. Das premissas
(1) xyz[(Outgrabe(x, y) Outgrabe(y, z)) Outgrabe(x, z)]
(2) xy[Outgrabe(x, y) Outgrabe(y, x)]
39

(3) xyOutgrabe(x, y)
queremos concluir xOutgrabe(x, x). Na demonstracao que se segue, indique, justificando, os passos validos e invalidos e, neste u
ltimo caso, apresente as suas correc
oes (se possvel):
Por instanciac
ao existencial a partir da terceira premissa, sejam b e c objectos arbitr
arios do domnio do discurso tais que b outgrabes c. Pela segunda premissa, tambem sabemos que c outgrabes b. Aplicando a primeira
premissa (com x = z = b e y = c) concluimos que b se outgraba a si
pr
oprio. Logo, por generalizacao universal, xOutgrabe(x, x).
148. Considere as seguintes premissas:
1- xy(Lef tOf (x, y) Larger(x, y))
2- x(Cube(x) Small(x))
3- x(T et(x) Large(x))
4- xy((Small(x) Small(y)) Larger(x, y))
a. Ser
a que a sentenca xy(Cube(x) Cube(y) RightOf (x, y)) e
consequencia l
ogica das premissas anteriores? Em caso afirmativo
forneca uma demonstracao informal; em caso negativo construa um
mundo onde as premissas sejam verdadeiras e a conclusao seja falsa.
b. Ser
a que a sentenca z(M edium(z) T et(z)) e consequencia logica
das premissas anteriores? Em caso afirmativo forneca uma demonstrac
ao informal; em caso negativo construa um mundo onde as premissas sejam verdadeiras e a conclusao seja falsa.
c. Ser
a que a sentenca zw((T et(z) Cube(w)) Lef tOf (z, w)) e
consequencia l
ogica das premissas anteriores? Em caso afirmativo
forneca uma demonstracao informal; em caso negativo construa um
mundo onde as premissas sejam verdadeiras e a conclusao seja falsa.
149. Considere as seguintes premissas:
a. x[Cube(x) y Lef tOf (x, y)]
b. xz[Cube(x) Cube(z) Lef tOf (x, z)]
c. xy[Cube(x) Cube(y) x 6= y]
Para cada uma das sentencas abaixo, determine se ela e consequencia
l
ogica das premissas. Em caso afirmativo forneca uma demonstracao informal. Em caso negativo construa um mundo onde as premissas sejam
verdadeiras e a conclusao seja falsa.
i. xyz[BackOf (y, z) Lef tOf (x, z)]
ii. xCube(x)
40

iii. xy(x 6= y Cube(x) Cube(y))

150. A seguinte sentenca e uma verdade logica?
x[Cube(x) y Cube(y)]
151. De demonstrac
oes formais dos argumentos validos dos exerccios 138, 139
e 140.
152. De demonstrac
oes formais dos seguintes argumentos.
(1) Conclua L(a, b) S(b) a partir de x(C(x) S(x)) e C(a) L(a, b).
(2) Conclua xL(a, x) a partir de x(C(x) L(a, x)) e C(b).
(3) Conclua T (a) a partir de xS(x) e y(S(y) T (a)).
(4) Conclua xT (x) a partir de xS(x) e y(S(y) T (a)).
(5) Conclua x(S(x) L(x)) a partir de x(C(x) T (x)), x(C(x)
S(x)) e x(T (x) L(x)).
153. De demonstrac
oes formais dos seguintes argumentos. Para facilitar, pode
invocar inferencias tautologicas nos passos da demonstracao.
(1) Conclua xA(x) a partir de x(B(x) A(x)) e xB(x).
(2) Conclua x(A(x) B(x)) a partir de xA(x) e xB(x).
(3) Conclua x(A(x) B(x)) a partir de xA(x).
(4) Conclua xy((A(x) B(y)) R(y, x)) a partir de xy((A(x)
B(y)) Q(y, x)) e de xy(Q(x, y) R(x, y)).
(5) x(A(x) y(B(y) R(x, y))) a partir de xy((A(x) B(y))
R(x, y)).
(6) xy((A(x) B(y)) R(x, y)) a partir de x(A(x) y(B(y)
R(x, y))).
(7) xB(x) a partir de x(A(x) B(x)) e xA(x).
(8) xD(x) a partir de y(C(y) D(y)), x(C(x) L(x)) e xL(x).
(9) xS(x) a partir de x(C(x) S(x)) e xC(x).
(10) xyR(x, y) a partir de xyQ(x, y) e xy(Q(x, y) R(x, y)).
(11) x((C(x) S(x)) R(x, b)) a partir de x(C(x) S(x)) e de
x(R(x, b) S(x)).
(12) x(T (x) (L(x) M (x))) a partir de x(T (x) S(x)) e x(S(x)
M (x) L(x)).
(13) x(D(x) R(x, c)) a partir de x(D(x) R(x, a)), R(a, c) e de
xyz((R(x, y) R(y, z)) R(x, z)).
(14) x(R(x, a) C(x)) a partir de x(D(x) Q(x, a)), x(T (x)
P (x, a)), xy(Q(x, y) R(x, y)), xy(P (x, y) R(x, y)) e de
x(C(x) D(x) T (x)).
41

(15) x(C(x) y(T (y) R(x, y))) a partir de x(C(x) y(D(y)

R(x, y))), x(D(x) y(T (y) R(x, y))), xD(x) e tambem de
xyz((R(x, y) R(y, z)) R(x, z)).
154. Diga se as seguintes afirmacoes sao verdadeiras. Em caso afirmativo apresente uma demonstracao formal, caso contrario construa um mundo onde
a premissa e verdadeira e a conclusao falsa.
(1) Conclui-se x Cube(x) x Small(x) a partir de x(Cube(x)
Small(x)).
(2) Conclui-se x(Cube(x) Small(x)) a partir de x Cube(x) x Small(x).
(3) Conclui-se x(Cube(x) Small(d)) a partir de x Cube(x) Small(d).
(4) Conclui-se x Cube(x) x Small(x) a partir de x(Cube(x)
Small(x)).
(5) Conclui-se x(Cube(x) Small(x)) a partir de x Cube(x) x Small(x).
155. Apresente demonstrac
oes formais de:
(1) x P (x) a partir da premissa y P (y).
(2) x P (x) a partir da premissa y P (y).
156. Apresente demonstrac
oes formais de:
(1) x P (x) a partir da premissa x P (x).
(2) x P (x) a partir da premissa x P (x).
(3) xP (x) a partir da premissa xP (x).
157. Como se discutiu na aula teorica, ha uma diferenca significativa entre
validade (verdade l
ogica) para uma linguagem interpretada como aquela
do mundo de blocos e validade para as linguagens nao interpretadas que
s
ao usualmente estudadas nos livros de logica. A diferenca advem do
facto de haver na linguagem do mundo de blocos por ser uma linguagem
interpretada relac
oes logicas entre sentencas atomicas. Por exemplo,
Lef tOf (a, b) e RightOf (b, a) sao equivalentes. Na maior parte dos livros
de l
ogica, os smbolos predicativos da linguagem (com excepcao do smbolo
da igualdade) n
ao s
ao interpretados.
Assim, h
a duas noc
oes de validade. De modo a compara-las sem as confundir, vamos usar o ndice I para a nocao de validade aplicada a uma
linguagem interpretada e o ndice U para a nocao de validade aplicada a
uma linguagem cujos smbolos predicativos (com excepcao da igualdade)
n
ao s
ao interpretados. Tudo o que e validoU e validoI (porque?), mas em
geral o recproco n
ao e verdadeiro. Por exemplo, a sentenca
xy(Lef tOf (x, y) RightOf (y, x))

42

e v
alidaI mas n
ao e v
alidaU . Se uma sentenca e validaI e nao e validaU
ent
ao h
a uma forma de re-interpretar os smbolos predicativos de modo a
que o resultado se possa falsificar num determinado mundo. Por exemplo,
se re-interpret
assemos Lef tOf por Smaller e mantivessemos o significado
de RightOf , a sentenca acima viria falsa em alguns mundos.
Considere as seguintes sentencas:
(1) xy((Small(x) Small(y) BackOf (x, y)) Dodec(x))
(2) xy((Cube(x) Cube(y) x 6= y) (Larger(x, y) Smaller(x, y)))
(3) xyz((Smaller(x, y) Smaller(y, z)) Smaller(x, z))
(4) xy(Larger(x, y) x 6= y)
(5) xyz(Between(x, y, z) Between(x, y, z))
(6) xyz(Between(x, y, z) Between(x, z, y))
(7) xyz((Dodec(x)Dodec(y)Dodec(z)) (x = y x = z y = z))
(8) xyz((Lef tOf (y, z) Between(x, y, z)) Lef tOf (x, z))
Observe que estas sentencas sao verdadeiras no Mundo de Bolzano. Quais
delas e que s
ao v
alidasI ? Para as que nao o sao, encontre contra-exemplos.
Quais delas s
ao v
alidasU ? Para cada sentenca que seja validaI e nao seja
v
alidaU , encontre uma maneira de re-interpretar os smbolos relacionais
de tal forma que a sentenca venha falsa em algum mundo. [Pode especificar interpretac
oes que nao possam ser expressas com a linguagem do
mundo de blocos, e.g., x est
a a cinco quadrados de y. Claro que, nas
suas interpretac
oes, tem que respeitar as aridades dos smbolos relacionais
originais.]
158. De traduc
oes para portugues das seguintes sentencas de LPO. Quais delas
s
ao logicamente equivalentes. Justifique.
(1) !xT ove(x)
(2) xy(T ove(y) y = x)
(3) xy(T ove(y) y = x)
(4) xy((T ove(x) T ove(y)) x = y)
(5) xy((T ove(x) T ove(y)) x = y)
159. Traduza as seguintes frases para a linguagem da logica de primeira-ordem:
(1) H
a pelo menos dois dodecaedros.
(2) H
a, quando muito, dois tetraedros.
(3) H
a exactamente dois cubos.
(4) H
a um u
nico cubo grande e nenhum dodecaedro esta atras dele.

43

160. Considere o Mundo de Skolem. Traduza as seguintes observacoes para a

linguagem da l
ogica de primeira-ordem:
(1) H
a exactamente tres cubos.
(2) Todo o cubo tem um tetraedro `a sua direita que nao esta nem `a frente
nem atr
as dele.
(3) Pelo menos um tetraedro esta entre dois tetraedros.
(4) Quanto mais para tras esta um objecto, maior e.
(5) N
ao h
a cubos `
a direita de nenhum outro cubo.
(6) H
a um u
nico tetraedro pequeno e ele esta `a frente de todos os outros
tetraedros.
161. Consegue ver que a frase Ha pelo menos dois cubos pequenos adjacentes
a um tetraedro e ambgua entre uma interpretacao forte e uma interpretac
ao fraca? Em caso afirmativo, de duas traducoes, nao logicamente
equivalentes, para a linguagem da logica de primeira-ordem.
162. Determine se as seguintes frases podem ser simultaneamente verdadeiras
num mundo de blocos. Caso afirmativo, construa um tal mundo. Caso
negativo, use um argumento informal para deduzir uma contradicao.
(1) Cada cubo est
a`
a esquerda de todos os tetraedros.
(2) N
ao h
a dodecaedros.
(3) H
a exactamente quatro cubos.
(4) H
a exactamente quatro tetraedros.
(5) Nenhum tetraedro e grande.
(6) N
ao h
a nenhum objecto maior que algo `a sua direita.
(7) Um objecto est
a `a esquerda de outro exactamente quando este esta
atr
as daquele.
163. De demonstrac
oes formais dos seguintes argumentos. Para facilitar, pode
invocar inferencias tautologicas nos passos da demonstracao.
(1) Conclua xy(Cube(y) y = x) a partir da premissa x(Cube(x)
y(Cube(y) y = x)).
(2) Conclua x(Cube(x) y(Cube(y) y = x)) a partir da premissa
xy(Cube(y) y = x).
(3) Conclua xy(Cube(x) Cube(y) z(Cube(z) (z = x z = y)))
a partir de xy(Cube(x) Cube(y) x 6= y) e de
xyz((Cube(x) Cube(y) Cube(z)) (x = y x = z y = z)).
164. As duas propriedades seguintes sao verdadeiras no domnio dos n
umeros
naturais 0, 1, 2, . . .. De demonstracoes informais das duas propriedades:
44

(1) !x(x2 2x + 1 = 0)
(2) !x[(x2 5x + 6 = 0) x > 2]
165. Sabemos que xyR(x, y) e logicamente equivalente a yxR(x, y). Serao
tambem logicamente equivalentes !x!yR(x, y) e !y!xR(x, y)?
166. No que se segue, P e um smbolo relacional ternario, f e um smbolo
funcional un
ario, g e um smbolo funcional binario e a e b sao constantes.
Obtenha Skolemizac
oes das seguintes sentencas:
(1) xyzP (g(x, z), y, z)
(2) xyzP (x, y, z)
(3) xyzP (f (x), y, z)
(4) xzP (x, a, z)
(5) xP (x, a, b)
(6) xyzP (g(z, x), f (y), z)
(7) xP (x, x, a) xP (x, x, a)
(8) x(P (x, b, c) yP (y, f (y), c))
167. Use o metodo de resolucao para mostrar que E(a, b) e consequencia logica
das seguintes quatro sentencas:
xy(E(x, y) E(y, x))
xyz((E(x, y) E(y, z)) E(x, z))
xE(p(a, x), x)
xE(p(x, b), x)
168. Use o metodo da resolucao para mostrar que xy(R(x, y) R(y, y))
n
ao e satisfazvel.
169. Use o metodo da resolucao para mostrar que x((D(x) G(x)) H(x))
e consequencia l
ogica das tres seguintes sentencas:
x((D(x) y(D(y) C(y, x) F (y))) H(x))
x((D(x) G(x)) F (x))
x((D(x) z(C(x, z) D(z) G(z))) G(x))
170. Use o metodo da resolucao para mostrar que yxR(x, y) e consequencia
l
ogica de xyR(x, y).

45

171. Use o metodo da resolucao para mostrar que a seguinte sentenca e uma
verdade l
ogica: x(P (x) yP (y)).

Uff...
Se fez (bem) muitos destes exerccios nao tem que se preocupar com o
exame final ...

46