Andrea D.

asked • 12/07/14

Natural Deduction Proofs. Using Modus Ponens (MP), Modus Tollens (MT), Hypothetical Syllogism (HS), or Disjunctive Syllogism (DS)

 
Problem One
1.  (J v R)  ⊃ ~C
2. C v ( U ⊃ P)
3 .  J v R / U ⊃ P
 
 
Problem Two
1. U ⊃ [ U ⊃ ( B ⊃ ~ N)}
2. ( E v ~ J) ⊃ B
3. ~ U ⊃ ~ B
4. E v ~ J / ~ N

1 Expert Answer

By:

Still looking for help? Get the right answer, fast.

Ask a question for free

Get a free answer to a quick problem.
Most questions answered within 4 hours.

OR

Find an Online Tutor Now

Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.