Proof with Conditionals

User Generated

FyvccreChggl

Other

Description

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.

User generated content is uploaded by users for the purposes of learning and should be used following Studypool's honor code & terms of service.

Explanation & Answer

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


Anonymous
This is great! Exactly what I wanted.

Studypool
4.7
Trustpilot
4.5
Sitejabber
4.4

Similar Content

Related Tags