Prove the following sequents. [50 points]
a. (a ʌ b) ʌ c ͱ a ʌ (b ʌ c)
b. p ͱ q → (p ʌ q)
c. (p → q) ʌ (q → r) ͱ p ʌ q → r
d. p → (q ʌ r) ͱ (p → q) ʌ (p → r)

you go to add your answer type bewteen 5000 and 20 characters and can only have 2 people answer on 1 question.your challanges are based on your questions.

if you go to ask a question say ask, there should be something that looks like this. a camera lens.

answerthetitle bar displays the title of the document which you are currently working;