1. (H.K) > L 2. R. K 3. K> (H v R) 4. K 5. HvR 6. ~R 7. H 8. H. K 9. L premise premise premise 1. (A B) > S 2. (DC) v (
Posted: Wed Jul 06, 2022 10:05 am
- 1 H K L 2 R K 3 K H V R 4 K 5 Hvr 6 R 7 H 8 H K 9 L Premise Premise Premise 1 A B S 2 Dc V 1 (45.39 KiB) Viewed 11 times
- 1 H K L 2 R K 3 K H V R 4 K 5 Hvr 6 R 7 H 8 H K 9 L Premise Premise Premise 1 A B S 2 Dc V 2 (39.72 KiB) Viewed 11 times
1. (A B) > S 2. (DC) v (A - B) . 3. (DC) > L 4. ~L 5. LVS 6. (LVS) v N 7. ~(DC) 8. A. B premise premise premise premise
1. (D v ~H) > [R. (S v T)] 2. L 3. (L v M) (DE) 4. L v M 5. D. E 6. D 7. Dv~H 8. R. (SVT) 9. SVT 10. D. (S v T) premise premise premise ——