Proof with Conditionals

Other
Tutor: None Selected Time limit: 4 Hours

Hey there! 

I'm looking to prove the following: 

1. (:Mythical(c) -> Mammal(c)) ^ (Mythical(c) -> :Mortal(c))

(:Mortal(c) v Mammal(c)) -> Horned(c)

Horned(c) -> Magical(c)

Conclusion: Magical(c)

Where would I start on this? I understand basic rules for proofs, but I just don't know where to start with this one.

Oct 30th, 2013
Hi,
So, you think what you don't know is worth $0.40 cents? No offense intended, just asking.
Oct 30th, 2013

Did you know? You can earn $20 for every friend you invite to Studypool!
Click here to
Refer a Friend
...
Oct 30th, 2013
...
Oct 30th, 2013
Dec 4th, 2016
check_circle
Mark as Final Answer
check_circle
Unmark as Final Answer
check_circle
Final Answer

Secure Information

Content will be erased after question is completed.

check_circle
Final Answer