|
|
|
|
Notes on Introduction to Logic -- Phil A101William Jamison - InstructorLecture 7:
CHAPTER 6
Propositional Logic: Arguments 251
6.1 Truth-Functional Validity 252
6.2 Contradictory Premises and Tautological Conclusions 253
6.3 Abbreviating Truth-Functional Arguments 254
6.4 Schematizing Truth-Functional Arguments 255
Exercises 257
6.5 Testing Validity by Truth Tables 260
Exercises 269
6.6 The Short Truth Table Method 270
Exercises 272
6.7 Truth-Functional Arguments and Corresponding Conditionals 273
Exercises 276
6.8 The Propositional Calculus 276
6.9 Constructing a Formal Proof 277
6.10 Inference Rules 281
Exercises 284
6.11 Rules of Thumb for Proof Construction 294
6.12 The Rule of Rigor 296
Exercises 297
6.13 The Replacement Rule 300
Exercises 304
6.14 Conditional Proof 321
Exercises 325
6.15 Indirect Proof 325
6.16 Deductive Completeness 327
Exercises 328
Summary 329
|
|
This page is maintained by William S. Jamison. It was last updated January 12, 2008. All links on these pages are either to open source or public domain materials or they are marked with the appropriate copyright information. I frequently check the links I have made to other web sites but each source is responsible for their own content. |