Vamos formalizar as proposições solicitadas: 1. Não vi o filme, mas li o romance. P: ~V → R 2. Não vi o filme nem li o romance. P: ~(V ∨ R) 3. Não é verdade que ele viu o filme e leu o romance. P: ~(V ∧ R) 4. Eu vi o filme apesar de não ter lido o romance. P: V ∧ ~R 5. Não gosto de ficar acordado até tarde nem de acordar cedo. P: ~(A ∨ B) 6. Ou você está errado ou a notícia que você leu é falsa. P: E ∨ F 7. Se você não fosse louco, você não teria vindo aqui. P: ~L → ~V 8. Chove e ou neva ou o vento sopra. P: C ∧ (N ∨ V) 9. Ou está chovendo e nevando ou o vento está soprando. P: (C ∧ N) ∨ V 10. Se houver democracia verdadeira, não haverá prisões arbitrárias ou outras violações dos direitos civis. P: D → ~(P ∨ V) 11. Roberto fará o doutorado quando e somente quando obtiver o título de bacharel. P: D ↔ B 12. Se você vier de trem, chegará antes das seis. Se vier de carro, chegará antes das seis. Então, se você vem de trem ou de carro, você chegará antes das seis horas. P: (T → C) ∧ (C → T) → (T ∨ C) 13. Quando não se tem imaginação, a morte é uma coisa pequena; ao ter imaginação, a morte é demais. (Céline) P: ~I → M ∧ I → ~M 14. Se não for o caso do Pablo assistir às aulas e estudar em casa, ele será reprovado nos exames ou não será aplaudido. P: ~(A ∧ E) → (R ∨ ~A)
Para escrever sua resposta aqui, entre ou crie uma conta
Lógica Matemática e Teoria dos Conjuntos
Lógica Matemática e Teoria dos Conjuntos
Lógica Matemática e Teoria dos Conjuntos
Lógica Matemática e Teoria dos Conjuntos
Compartilhar