2003 Paper 6 Question 9 Logic and Proof (a) Define the concepts of a true sequent, a valid sequent and a basic sequent. You may take the concepts of true and valid formulæ as primitive. [3 marks]

First Page		Document Content
Date: 2014-06-09 10:17:56		2003 Paper 6 Question 9 Logic and Proof (a) Define the concepts of a true sequent, a valid sequent and a basic sequent. You may take the concepts of true and valid formulæ as primitive. [3 marks] Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 58,83 KB Share Document on Facebook