Skip to main content
Tweeted twitter.com/StackPhilosophy/status/1010942185427079168
spelling at title
Link

Step by step natural decutiondeduction: (T > E) ^ (A > L) /... (T v A) > (E v L)

edited title
Link
virmaior
  • 25k
  • 3
  • 50
  • 108

Step by step natural decution: (T > E) ^ (A > L) /... (T v A tricky proof) > (step by step?E v L)

Source Link

A tricky proof (step by step?)

I'm having trouble proving the following using natural deduction:

(T > E) ^ (A > L) /... (T v A) > (E v L)

I checked the answer but I didn't quite understanding the reason why the proof progressed in a certain way (example, at some point the book used addition but I didn't understand why).

Would anyone mind walking me through this? Thank you!

The permitted rules are found here: https://www.cse.iitk.ac.in/users/cs365/2012/rulesLogic.html

The only exception is that absorption is not allowed and constructive dilemma is allowed (but I doubt that will apply to this case).