CHAPTER 1 SECTION 1
Chapter One
Sentential Logic with 'if' and 'not'
1 SYMBOLIC NOTATION
In this chapter we begin the study of sentential logic. We start by formulating the basic part of the
symbolic notation mentioned in the Introduction. For purposes of
REFERENCES FOR TRUTH TABLES
Rules for Determining the Truth-Values of Truth-Functional
Compounds
T
T
F
F
T
F
T
F
F
F
T
T
T
F
T
T
T
F
F
F
T
T
T
F
T
F
F
T
A formula is a tautology if it is true in every row of its truth table.
An argument is tautologically
Symbolization Examples and Explanations
This document contains separate sections for Chapters I, II, III, and V, and a special section on
problems Symb 3.201-3.225. You can go directly to the material that interests you by using the
following hyperlinks.