2019:resolucao_da_questao_11_do_poscomp_2019
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| 2019:resolucao_da_questao_11_do_poscomp_2019 [2019/09/26 15:22] – [Raciocínio] adolfont | 2019:resolucao_da_questao_11_do_poscomp_2019 [2020/11/19 11:42] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 55: | Line 55: | ||
| - ¬p1 [6, eliminação do ∧] | - ¬p1 [6, eliminação do ∧] | ||
| - ¬p2 [6, eliminação do ∧] | - ¬p2 [6, eliminação do ∧] | ||
| - | - ¬(p1 ∧ p5) [7, | + | - ¬(p1 ∧ p5) [7,?] |
| + | - ¬p4 [3 e 9, modus tollens] | ||
| + | - ¬p4 ∧ ¬p2 [10 e 8, introdução do ∧] | ||
| + | |||
| + | Resposta correta: C. | ||
2019/resolucao_da_questao_11_do_poscomp_2019.1569511369.txt.gz · Last modified: 2020/11/19 11:42 (external edit)