next up previous
Next: Aplicações das Estruturas Interpretativas Up: Provas com quantificadores. Previous: Provas com Quantificadores

Problemas

A.
Dê uma prova formal de cada um dos seguintes argumentos.
  1. Premissas: tex2html_wrap2919 ,

    tex2html_wrap2926

    Conclusão: tex2html_wrap3130

  2. Premissas: tex2html_wrap3131 ,

    tex2html_wrap3132

    Conclusão: tex2html_wrap3133

  3. Premissas: tex2html_wrap3134 ,

    tex2html_wrap3135 ,

    tex2html_wrap3136

    Conclusão: tex2html_wrap3137

  4. Premissas: tex2html_wrap3138 ,

    tex2html_wrap3139 ,

    tex2html_wrap3140 ,

    tex2html_wrap3141

    Conclusão: tex2html_wrap3142

  5. Premissas: tex2html_wrap3143 ,

    tex2html_wrap3144 ,

    tex2html_wrap3145

    Conclusão: tex2html_wrap3146

  6. Premissas: tex2html_wrap3147 ,

    tex2html_wrap3148

    Conclusão: tex2html_wrap3149

  7. Premissas: tex2html_wrap3147 ,

    tex2html_wrap2919 ,

    tex2html_wrap3152

    Conclusão: tex2html_wrap3153

  8. Premissas: tex2html_wrap2919 ,

    tex2html_wrap3155

    Conclusão: tex2html_wrap3156

  9. Premissas: tex2html_wrap2951 ,

    tex2html_wrap3158

    Conclusão: tex2html_wrap3159

  10. Premissas: tex2html_wrap2951 ,

    tex2html_wrap3158

    Conclusão: tex2html_wrap3162

  11. Premissas: tex2html_wrap3163 ,

    tex2html_wrap3136 ,

    tex2html_wrap3165

    Conclusão: tex2html_wrap3166

  12. Premissas: tex2html_wrap3167 ,

    tex2html_wrap3168 ,

    tex2html_wrap3169 ,

    tex2html_wrap3170

    Conclusão: tex2html_wrap3171

  13. Premissas: tex2html_wrap3172

    Conclusão: tex2html_wrap3173

  14. Premissas: tex2html_wrap3174 ,

    tex2html_wrap2955

    Conclusão: tex2html_wrap3176

  15. Premissas: tex2html_wrap3177 ,

    tex2html_wrap2955

    Conclusão: tex2html_wrap3179

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.
  1. Todos os pássaros têm asas. Nenhum marciano tem asas. Logo, nenhum marciano é pássaro. (Px, Ax, Mx).
  2. Todos os físicos são matemáticos. O Guterres não é matemático. Logo, o Guterres não é físico. (Fx, Mx, g).
  3. Médicos são licenciados. Professores são licenciados. Logo, ou médicos ou professores são licenciados. (Mx, Px, Lx).
  4. Nenhum socialista e nenhum comunista votou. A Maria votou. Logo, a Maria não é comunista. (Sx, Cx, Vx, m).
  5. 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).
  6. 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).
  7. 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).
  8. 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).
  9. 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).
  10. 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).
  11. 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).
  12. 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).
  13. 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).
  14. 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.
  1. tex2html_wrap2927 ,

    tex2html_wrap2922 ,

    tex2html_wrap3182 .

  2. tex2html_wrap3183 ,

    tex2html_wrap3184 ,

    tex2html_wrap3185 .

  3. tex2html_wrap3186 ,

    tex2html_wrap3187 ,

    tex2html_wrap3188 ,

    tex2html_wrap3189 .

  4. tex2html_wrap3190 ,

    tex2html_wrap3191 .

  5. tex2html_wrap3192 ,

    tex2html_wrap3193 ,

    tex2html_wrap3194 .

  6. tex2html_wrap3195 ,

    tex2html_wrap3196 ,

    tex2html_wrap3197 ,

    tex2html_wrap3198 .

  7. tex2html_wrap3199 ,

    tex2html_wrap2928 ,

    tex2html_wrap3201 .

  8. tex2html_wrap2942 ,

    tex2html_wrap3203 ,

    tex2html_wrap2931 ,

    tex2html_wrap3205 .

  9. tex2html_wrap3206 ,

    tex2html_wrap3207 ,

    tex2html_wrap3182 ,

    tex2html_wrap3209 .

  10. tex2html_wrap3210 ,

    tex2html_wrap3158 ,

    tex2html_wrap3212 ,

    tex2html_wrap3213 .

  11. tex2html_wrap3214 ,

    tex2html_wrap3215 ,

    tex2html_wrap3216 .

  12. tex2html_wrap2942 ,

    tex2html_wrap3218 ,

    tex2html_wrap2951 ,

    tex2html_wrap3220 ,

    tex2html_wrap3221 .

  13. tex2html_wrap3222 ,

    tex2html_wrap3223 ,

    tex2html_wrap3224 ,

    tex2html_wrap3225 ,

    tex2html_wrap3226 .

  14. tex2html_wrap3227 ,

    tex2html_wrap3228 ,

    tex2html_wrap3229 .

  15. tex2html_wrap3230 ,

    tex2html_wrap3182 ,

    tex2html_wrap3232 ,

    tex2html_wrap3233 .

  16. tex2html_wrap3234 ,

    tex2html_wrap3235 ,

    tex2html_wrap3235 ,

    tex2html_wrap3235 ,

    tex2html_wrap3238 ,

    tex2html_wrap3239 ,

    tex2html_wrap3240 .

  17. tex2html_wrap3241 ,

    tex2html_wrap3242 ,

    tex2html_wrap3243 ,

    tex2html_wrap3244 .

E.
Cada uma das provas seguintes é correcta. Forneça a documentação em falta (não esqueça de assinalar as variáveis marcadas).
  1. deduzir tex2html_wrap3245

  2. deduzir tex2html_wrap3246

  3. deduzir tex2html_wrap3247

  4. deduzir tex2html_wrap3248

  5. deduzir tex2html_wrap3249

F.
As seguintes "provas" são incorrectas. Assinale as variáveis marcadas, e descreva os erros cometidos.

next up previous
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