Differences

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

--- 2019:resolucao_da_questao_11_do_poscomp_2019 [2019/09/26 15:19] – [Raciocínio] adolfont
+++ 2019:resolucao_da_questao_11_do_poscomp_2019 [2020/11/19 11:42] (current) – external edit 127.0.0.1
@@ Line 48: / Line 48: @@
   - (p1 ∨ p2) → p3 [premissa]
-  - ¬p3 (premissa)
+  - ¬p3 [premissa]
-  - p4 → (p1 ∧ p5) (premissa)
+  - p4 → (p1 ∧ p5) [premissa]
-  - p5 (premissa)
+  - p5 [premissa]
-  - ¬(p1 ∨ p2) (1 e 2)
+  - ¬(p1 ∨ p2) [1 e 2, modus tollens]
-  - (¬p1 ∧ ¬p2) (5)
+  - (¬p1 ∧ ¬p2) [5, De Morgan]
-  - ¬p1 (6)
+  - ¬p1 [6, eliminação do ∧]
-  - ¬p2 (6)
+  - ¬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.