Simplification is often useful when we have a conjunction
and can see that one conjunct is not relevant to the conclusion.
Conjunction allows us to put together two statements into a
single conjunctive statement. Addition allows us to introduce a
new statement by adding it, in the form of a disjunction, to a
statement we already have.
Each inference is easily proven valid by truth tables.
Disjunction and conjunction |
Hypothetical and disjunctive syllogisms | Dilemmas
Constructing a Proof
Proof