Exercicio ArgumentoValido GABARITO

Prévia do material em texto

1. ¬ 𝑃 → 𝑄 ∨ 𝑆 → ¬𝑅 hip
2. 𝑄 ∨ 𝑆 hip
3. 𝑃 → ¬𝑆 hip
4. | 𝑃 hip-pc
5. | ¬𝑆 3,4, mp
6. | 𝑆 ∨ 𝑄 2, com
7. | 𝑄 5, 6, sd
8. 𝑃 → 𝑄 4-7, pc
9. ¬¬(𝑃 → 𝑄) 8, dn
10. 𝑆 → ¬𝑅 1, 9, sd
11. ¬𝑆 ∨ ¬𝑅 10, cond
12. ¬𝑅 ∨ ¬𝑆 11, com
1. 𝐸 ∨ 𝑇 hip
2. 𝑇 → (𝐵 ∧ 𝐻) hip
3. 𝐵 ∨ 𝐸 → 𝐾 hip
4. | ¬𝐾 hip-raa
5. | ¬(𝐵 ∨ 𝐸) 3,4, mt
6. | ¬𝐵 ∧ ¬𝐸 5, DeMor
7. | ¬𝐵 6, sp
8. | ¬𝐸 6, sp
9. | 𝑇 1,8, sd
10. | ¬𝐵 ∨ ¬𝐻 7, ad
11. | ¬(𝐵 ∧ 𝐻) 10, DeMor
12. | ¬𝑇 2,11, mt
13. | 𝑇 ∧ ¬𝑇 9,12, cj – absurdo
14.¬¬𝐾 4-13, raa
15.𝐾 14, dn
1. ¬𝑃 ∨ 𝑄 hip
2. ¬𝑆 → ¬𝑅 hip
3. 𝑃 ∨ (𝑅 ∧ 𝑇) hip
4. 𝑃 ∨ 𝑅 ∧ (𝑃 ∨ 𝑇) 3, dist
5. 𝑃 ∨ 𝑅 4, sp
6. 𝑃 → 𝑄 1, cond
7. 𝑅 → 𝑆 2, cont
8. 𝑄 ∨ 𝑆 5,6,7, dc