2000 Paper 5 Question 11 Logic and Proof Given a propositional formula, we wish to test whether it is a tautology and, if it is not, to compute an interpretation that makes it false. Two techniques for doing this are th

First Page		Document Content
Date: 2014-06-09 10:17:36		2000 Paper 5 Question 11 Logic and Proof Given a propositional formula, we wish to test whether it is a tautology and, if it is not, to compute an interpretation that makes it false. Two techniques for doing this are th Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 46,24 KB Share Document on Facebook