Next: Aplicações das Estruturas Interpretativas
Up: Provas com quantificadores. Previous:
Provas
com Quantificadores
- A.
- Dê uma prova formal de cada um dos seguintes argumentos.
- Premissas: ,
Conclusão:
- Premissas: ,
Conclusão:
- Premissas: ,
,
Conclusão:
- Premissas: ,
,
,
Conclusão:
- Premissas: ,
,
Conclusão:
- Premissas: ,
Conclusão:
- Premissas: ,
,
Conclusão:
- Premissas: ,
Conclusão:
- Premissas: ,
Conclusão:
- Premissas: ,
Conclusão:
- Premissas: ,
,
Conclusão:
- Premissas: ,
,
,
Conclusão:
- Premissas:
Conclusão:
- Premissas: ,
Conclusão:
- Premissas: ,
Conclusão:
- B.
- Traduza cada um dos seguintes argumentos válidos para a
linguagem do Cálculo de Predicados, usando os símbolos propostos, e
prove-os formalmente. Use somente quantificadores universais.
- Todos os pássaros têm asas. Nenhum marciano tem asas. Logo,
nenhum marciano é pássaro. (Px, Ax, Mx).
- Todos os físicos são matemáticos. O Guterres não é matemático.
Logo, o Guterres não é físico. (Fx, Mx, g).
- Médicos são licenciados. Professores são licenciados. Logo, ou
médicos ou professores são licenciados. (Mx, Px, Lx).
- Nenhum socialista e nenhum comunista votou. A Maria votou.
Logo, a Maria não é comunista. (Sx, Cx, Vx, m).
- Os únicos bichos que têm penas são as aves. Todas as aves
chilream. Logo, nenhum bicho que não chilreie tem penas. (Bx, Px,
Ax, Cx).
- Todas as casas têm uma máquina de lavar roupa ou uma máquina de
lavar louça. Todas as casas que têm máquina de lavar roupa têm uma
máquina de secar. Todas as casas que têm máquina de lavar louça têm
TV. Logo, todas as casas que não têm TV têm máquina de secar. (Cx,
Rx, Lx, Sx, Tx).
- Só fantasmas vivem na casa açombrada. Nenhum fantasma estrábico
é inteligente. Nenhum fantasma é estrábico. Logo, quem vive na casa
açombrada é inteligente ou não é estrábico. (Fx, Vx, Ex, Ix).
- Todos os matemáticos gostam de todos os químicos. Nenhum
matemático gosta de nenhum filósofo. Gauss era um matemático. Logo,
nenhum filósofo é um químico. (Mx, Qx, Fx, Gxy, g).
- Todos os professores são mais velhos que todos os alunos. Óscar
não é mais velho que Teresa, que é uma estudante. Logo, o Óscar não
é um professor. (Px, Ex, Vxy, o, t).
- Homens desportistas são simultaneamente fãs de futebol e de
xadrez. Desportistas que são fãs de xadrez são homens que são fãs
de futebol. Quem não é desportista é homem fã de xadrez. Logo,
todos os homens são fãs de xadrez e reciprocamente. (Hx, Dx, Fx,
Xx).
- Pais e mães gostam de crianças. Natário é um pai que não gosta
do Pôncio. Nenhuma mãe gosta da Capitulina. Regina é mãe. Logo, nem
Pôncio nem nem Capitulina são crianças. (Px, Mx, Cx, Gxy, n, p, c,
r).
- Alguém que gosta de todos os advogados é criminoso. Só
mentirosos gostam de todos os criminosos. Advogados gostam de
advogados e criminosos gostam de criminosos. Logo, todos os
advogados são mentirosos. (Ax, Cx, Mx, Gxy).
- Qualquer mulher que acompanhe uma criança numa reunião é tia.
Louca acompanha Arroz em todas as reuniões. Logo, se Louca é
mulher, Arroz é uma criança e r é uma reunião, então Louca é tia.
(Mx, Cx, Tx, Rx, Axyz, l, a, r).
- Génios resolvem todos os problemas de todos os exames. Quem
resolve problemas em exames são os estudantes. Anémona resolve
todos os problemas de todos os exames. Logo, se Anémona é um génio
então ela é estudante, desde que exista um problema, p, e um exame,
e. (Gx, Px, Ex, Dx, Sxyz, a, p, e).
- D.
- Mostre que cada um dos seguintes conjuntos de premissas é
inconsistente deduzindo formalmente uma contradição.
- ,
,
.
- ,
,
.
- ,
,
,
.
- ,
.
- ,
,
.
- ,
,
,
.
- ,
,
.
- ,
,
,
.
- ,
,
,
.
- ,
,
,
.
- ,
,
.
- ,
,
,
,
.
- ,
,
,
,
.
- ,
,
.
- ,
,
,
.
- ,
,
,
,
,
,
.
- ,
,
,
.
- E.
- Cada uma das provas seguintes é correcta. Forneça a
documentação em falta (não esqueça de assinalar as variáveis
marcadas).
-
deduzir
-
deduzir
-
deduzir
-
deduzir
-
deduzir
- F.
- As seguintes "provas" são incorrectas. Assinale as variáveis
marcadas, e descreva os erros cometidos.
Next: Aplicações das Estruturas Interpretativas
Up: Provas com quantificadores. Previous:
Provas
com Quantificadores
Jorge Nuno Silva (Dep. Mat. FCUL)
Wed Jun 4 19:06:16 MET DST 1997