Answer to Question #87464 in Other Philosophy for Jonas
I Please prove each sequent. Each proof is worth up to 10 points.
1. A&B, B>C, C>D: A&D
2. A >(B>C) |- (A&B)>C
3. A>(B>C) |- ~C> ~(A&B)
4. ~A>B, B>D, D>A |- A
5. |- P>P
Dear Jonas, your question requires a lot of work, which neither of our experts is ready to perform for free. We advise you to convert it to a fully qualified order and we will try to help you. Please click the link below to proceed: Submit order