CS109A Notes for LectureThe Essence of Proof Mathematical proof is essentially persuasive prose. Like an essay, it is eective if it convinces the listener. Also like an essay, we can learn certain rhetorica

First Page		Document Content
Date: 2008-09-19 00:57:46 Propositional calculus Rules of inference Boolean algebra Modus ponens Truth table Contraposition Proof by contradiction Vacuous truth First-order logic Logic Mathematics Mathematical logic		CS109A Notes for LectureThe Essence of Proof Mathematical proof is essentially persuasive prose. Like an essay, it is eective if it convinces the listener. Also like an essay, we can learn certain rhetorica Add to Reading List Source URL: infolab.stanford.edu Download Document from Source Website File Size: 66,42 KB Share Document on Facebook

	Errors in Logic for Philosophy: 1. p. 60, step 5 of the proof for “contraposition 2” should cite step 4, not stepp. 61, two-thirds down the page, line 4 of the proof of the second form of negated-conditional s DocID: 1lA1q - View Document
	CS109A Notes for LectureThe Essence of Proof Mathematical proof is essentially persuasive prose. Like an essay, it is eective if it convinces the listener. Also like an essay, we can learn certain rhetorica DocID: 15plt - View Document
	3. Extrapolation and its LimitsWhy should the unobserved part of reality resemble the observed part? Unobserved emeralds could just as easily be blue, as green. This is a puzzle about type 1 or “inductive” DocID: 153W8 - View Document
	How Implication Is Understood Author(s): P. N. Johnson-Laird and Joanna Tagart Source: The American Journal of Psychology, Vol. 82, No. 3 (Sep., 1969), pp[removed]Published by: University of Illinois Press Stable URL: h DocID: 11aRt - View Document
	Unit Test Math 202A: Geometry \| Unit 02: Methods of Proof and Logic \| Lesson 13: Unit Test Unit Test, Offline Part Geometry, Semester 1, Unit 2, Offline P DocID: S2rN - View Document