Preface
Notations
Contents
ix
Xl
1. PROPOSITIONS AND PREDICATES
1-35
1.1 Propositions (or Statements)
1
1.1.1 Connectives (Propositional Connectives
or Logical Connectives)
2
1.1.2 Well-formed Formulas
6
1.1.3 Truth Table for a Well-formed Formula
7
1.1.4 Equivalence of Well-formed Formulas
9
1.1.5 Logical Identities
9
1.2 Normal Forms of Well-formed Formulas
11
1.2.1 Construction to Obtain a Disjunctive Normal
Form of a Given Formula
II
1.2.2 Construction to Obtain the Principal
Disjunctive Normal Form of a Given Formula
12
1.3 Rules of Inference for Propositional Calculus
(Statement Calculus)
15
1.4 Predicate Calculus
19
1.4.1 Predicates
19
1.4.2 Well-formed Formulas of Predicate Calculus
21
1.5 Rules of Inference for Predicate Calculus
23
1.6 Supplementary Examples
26
Se(f-Test
31
Exercises
32
iii
http://engineeringbooks.net