~ is negation
-->is conditional
^ is disjunction
& is conjunction
1. P--> ~M
2. C--> M
3. ~L ^ C
4. (~P-->~E)& (~E-->~C)
5. P^ ~P / ~L
I spent the night but still couldnt prove its validity!!!
PLZ can someone gimme a hand? (Including the rules used if possible?)
THX a lot!!!!