Exam Style Questions week 8 Proof Theory 1.pdf - Sarah Sawyer
Please enable JavaScript to view the full PDF
Logic and Meaning Exam Style Questions Construct a proof of the following sequents. (a) P → (Q & R) , Q → S ├ P → (R & S) (b) P ↔ Q , Q → R ├ P → (R v S)