Please help me solve this proof, the third line is the conclusion.
1. E-> (CvD)
2. C -> ~E
1. E ->(CvD)... ~EvCvD....(~EvD)vC....~(~EvD) ->C
2 C ->~E
So Law of syllogism from premise 1, 2 :
~(~EvD) -> ~ E
~EvD is a valid argument
Content will be erased after question is completed.
Enter the email address associated with your account, and we will email you a link to reset your password.
Forgot your password?