Differences

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

--- 2019:resolucao_da_questao_11_do_poscomp_2019 [2019/09/26 15:15] – 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 43: / Line 43: @@
   * 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.