Proof with Conditionals

label Other
account_circle Unassigned
schedule 4 Hours
account_balance_wallet $5

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

Studypool's Notebank makes it easy to buy and sell old notes, study guides, reviews, etc.
Click to visit
The Notebank
...
Oct 30th, 2013
...
Oct 30th, 2013
Oct 19th, 2017
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