Proof with Conditionals

timer Asked: Oct 30th, 2013
account_balance_wallet $5

Question 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.

Tutor Answer

School: University of Maryland

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

flag Report DMCA

Tutor went the extra mile to help me with this essay. Citations were a bit shaky but I appreciated how well he handled APA styles and how ok he was to change them even though I didnt specify. Got a B+ which is believable and acceptable.

Similar Questions
Hot Questions
Related Tags
Study Guides

Brown University

1271 Tutors

California Institute of Technology

2131 Tutors

Carnegie Mellon University

982 Tutors

Columbia University

1256 Tutors

Dartmouth University

2113 Tutors

Emory University

2279 Tutors

Harvard University

599 Tutors

Massachusetts Institute of Technology

2319 Tutors

New York University

1645 Tutors

Notre Dam University

1911 Tutors

Oklahoma University

2122 Tutors

Pennsylvania State University

932 Tutors

Princeton University

1211 Tutors

Stanford University

983 Tutors

University of California

1282 Tutors

Oxford University

123 Tutors

Yale University

2325 Tutors