Logical Proof?

3 ⤊

(P*K)*G
(P*G)>~~E
(EvS)>L /L

2006-12-18 15:34:17 · 2 answers · asked by Anonymous in Arts & Humanities ➔ Philosophy

2 answers

Prove for L, given:
1) (P&K)&G
2) (P&G) → ~~E
3) (EvS)→L
---------
4) P&K conjunction elimination (1)
5) G conjunction elim. (1)
6) P conjunction elim. (4)
7) P&G conjunction introduction (6,5)
8) ~~E implication elim. (7,2)
9) E negation elim. (8)
10) EvS disjunction intro. (9)
11) L implication elim. (10, 3)

2006-12-18 15:51:53 · answer #1 · answered by -.- 3 · 2⤊ 0⤋

I think the guy before me is doing just fine give him the 10 points he deserves it for this mind boggler.

2006-12-18 17:10:08 · answer #2 · answered by Anonymous · 1⤊ 0⤋