Differences

This shows you the differences between two versions of the page.

--- 2019:resolucao_da_questao_11_do_poscomp_2019 [2019/09/26 15:10] – adolfont
+++ 2019:resolucao_da_questao_11_do_poscomp_2019 [2020/11/19 11:42] (current) – external edit 127.0.0.1
@@ Line 23: / Line 23: @@
   - ¬p3
   - p4 → (p1 ∧ p5)
-  - ¬p3
+  - p5
@@ Line 34: / Line 34: @@
 E) Hoje é domingo e João andou a cavalo.
 </code>
 Possíveis Conclusões:
- A) Ordered List Item
+  * A) p4 ∧ p1
- B)
+  * B) ¬p4 ∧ p1
+  * C) ¬p4 ∧ ¬p2
+  * D) p1 ∨ p2
+  * E) p4 ∧ p2
+===== Raciocínio =====
+  - (p1 ∨ p2) → p3 [premissa]
+  - ¬p3 [premissa]
+  - p4 → (p1 ∧ p5) [premissa]
+  - p5 [premissa]
+  - ¬(p1 ∨ p2) [1 e 2, modus tollens]
+  - (¬p1 ∧ ¬p2) [5, De Morgan]
+  - ¬p1 [6, eliminação do ∧]
+  - ¬p2 [6, eliminação do ∧]
+  - ¬(p1 ∧ p5) [7,?]
+  - ¬p4 [3 e 9, modus tollens]
+  - ¬p4 ∧ ¬p2 [10 e 8, introdução do ∧]
+Resposta correta: C.