000			01601cam a22002054a 4500
020			_a0072401893
020			_a9780072401899
082	0	0	_aBC135
100	1		_aBergmann, Merrie
245	1	4	_aThe logic book / _cMerrie Bergmann, James Moor, Jack Nelson
250			_a4th ed
264			_aBOATON BURR RIDGE _bMC GRAW HILL COMPAINES _c2004
300			_axiii, 642 [8] p. : _bill. ; _e1 CD-ROM (4 3/4 in.)
505	0		_aChapter 1: Basic Notions of Logic -- 1.1 Background -- 1.2 Why Study Logic -- 1.3 Sentences, Truth-Values, and Arguments -- 1.4 Deductive Validity and Soundness -- 1.5 Inductive Arguments -- 1.6 Logical Consistency, Truth, Falsity, and Equivalence -- 1.7 Special Cases of Validity -- Chapter 2: Sentential Logic: Symbolization and Syntax -- 2.1 Symbolization and Truth-Functional Connectives -- 2.2 Complex Symbolizations -- 2.3 Non-Truth-Functional Connectives -- 2.4 The Syntax of SL -- Chapter 3: Sentential Logic: Semantic -- 3.1 Truth-Value Assignments and Truth-Tables for Sentences -- 3.2 Truth-Functional Truth, Falsity, and Indeterminacy -- 3.3 Truth-Functional Equivalence -- 3.4 Truth-Functional Consistency -- 3.5 Truth-Functional Entailment and Truth-Functional Validity -- 3.6 Truth-Functional Properties and Truth-Functional Consistency -- Chapter 4: Sentential Logic: Truth-Tree -- 4.1 Introduction -- 4.2 Truth-Tree Rules for Sentences Containing 'tilde', 'wedge', and 'ampersand' -- 4.3 Rules for Sentences
650		0	_aLogic, Symbolic and mathematical
650		0	_aPredicate (Logic)
700	1		_aMoor, James,
700	1		_aNelson, Jack,
942			_2lcc _cBK
999			_c13724 _d13724