Enunciados_categoricos

Disciplina: Lógica

Questão 1

1. Todos os ursos são brancos. ⩝x(U(x) → B(x))
2. Nenhum urso é branco. ⩝x(U(x) → ~B(x))
3. Alguns ursos são brancos. Ǝx (U(x) ^ B(x))
4. Alguns ursos não são brancos. Ǝx (U(x) ^ ~B(x))
5. Toda coisa é um urso. ⩝x(U(x))
6. Alguma coisa é um urso. Ǝx (U(x))
7. Nem toda coisa é um urso. ~ Ǝx (U(x))
8. Nada é um urso. ⩝x(~U(x))
9. Existem ursos brancos. Ǝx (U(x) ^ B(x))
10. Qualquer coisa ou é urso ou é polar. ⩝x(U(x) v P(x))
11. Qualquer coisa é um urso branco. ⩝x(U(x) ^ B(x))
12. Está chovendo e alguns ursos são ferozes. C ^ Ǝx (U(x) ^F(x))
13. Se está chovendo, então todos os ursos são ferozes. Ǝx C(x) → ⩝x(U(x) ^F(x))
14. Algumas coisas são brancas e algumas não são. Ǝx (B(x) ^ ~ (B(x))
15. Algumas coisas são brancas e polares simultaneamente. Ǝx (B(x) ^ P(x))
16. Ou qualquer coisa é um urso ou nada é um urso. ⩝x(U(x) v ~ Ǝx (U(x))
17. Qualquer coisa é um urso ou não é um urso. ⩝x(U(x) v ~ U(x))
18. Todos os ursos são ursos. ⩝x(U(x) → U(x))
19. Somente ursos são brancos. ⩝x(B(x) → U(x))
20. Não existem ursos polares. ~ Ǝx (U(x) → P(x))
21. Não é verdade que alguns ursos brancos estão ferozes. ~ Ǝx ((U(x) ^ B(x)) ^ F(x))
22. Alguns ursos brancos não estão ferozes. Ǝx ((U(x) ^ B(x)) ^ ~ F(x))
23. Se nada é branco, então não existem ursos brancos. ⩝x(B(x) → ~ B(x))
24. Ursos brancos são ferozes se e somente se não está chovendo. ⩝x((U(x) ^ B(x)) → F(x) ↔ ~C))

Questão 2

1. Todos os dias são ensolarados. (⩝x ϵ U) (D(x) → S(x))
2. Em alguns dias não está chovendo. (Ǝx ϵ U) (D(x) ^ ~C(x))
3. Todo dia que não está fazendo sol está chovendo. (⩝x ϵ U) ((D(x) ^ ~S(x)) → C(x))
4. Alguns dias está fazendo sol e chovendo. (Ǝx ϵ U) (D(x) ^ S(x) ^ C(x))
5. Nenhum dia está fazendo sol e chovendo ao mesmo tempo. . (⩝x ϵ U) (D(x) ^ (~S(x) ^ ~C(x)))
6. Segunda-feira fez sol; portanto, vai fazer sol todos os dias. S → (⩝x ϵ U) D(x) ^ S(x))
7. Choveu na segunda-feira e na terça-feira. (⩝x ϵ U) (S ^T)
8.