Highlights, Section 1.2

Propositional wff: represent some sort of argument, to be tested, or proved by propositional logic.
valid arguments, e.g.

P₁ and P₂ and ... and P_n -> Q
have hypotheses (we suppose that the P_i are true), and a conclusion (Q). To be valid, this argument must be a tautology (always true). To be an argument, Q must not be identically true (i.e. a fact).
Proof Sequence: a sequence of wffs in which every wff is a hypothesis or the result of applying the formal system's derivation rules (truth-preserving rules) in sequence.
Objective: to reach the conclusion Q from the premises P.
Types of derivation rules:
- Equivalence rules (Table 1.12, p. 23):
  we can substitute equivalent wffs in a proof sequence. One way of showing that two wffs are equivalent is via their truth tables.
  - commutative
  - associative
  - De Morgan's laws
  - implication
  - double negation
  Implication seems rather unusual: prove it using Practice 9, p .23. That is, prove that (P -> Q) <-> (P' or Q) is a tautology.
- Inference rules: from given hypotheses, we can deduce certain conclusions (Table 1.13, p. 24)
  - modus ponens:
    If Q follows from P, and P is true, then so is Q.
  - modus tollens:
    If Q follows from P, and Q is false, then so is P.
  - conjunction:
    If Q is true, and P is true, then they're both true together.
  - simplification:
    If both Q and P are true, then they're each true separately.
  - addition:
    If P is true, then either P or Q is true.
  Try Practice 10, p .24. Also give step 4!
  For a more elaborate example, let's look at #18, p. 31
- Deduction method: if we seek to prove an implication, we can simply add the hypothesis of this conclusion implication to the hypothesis of the argument, and prove the conclusion of the remaining implication:
  
  P₁ and P₂ and ... and P_n -> (R-> S)
  can be replaced by
  
  P₁ and P₂ and ... and P_n and R -> S
  If you're interested in seeing why this rule works, you might try exercise 36, p. 32.
  Try Practice 12, p. 26.
- Hypothetical syllogism: if P -> Q and Q -> R, then P -> R. (and see a whole long list of rules in Table 1.14).
A new rule is created each time we prove an argument; but we don't want to create so many rules that we keel over under their weight! Let's keep just a few rules in view, and learn how to use them....
Our goal may well be to turn a "real argument" into a symbolic one. This allows us to test whether the argument is sound (that is, that the conclusion follows from the hypotheses).
Try Practice 14.
The propositional logic system is complete and correct:
- complete: every valid argument is provable.
- correct: only a valid argument is provable.
The derivation rules are truth-preserving, so correctness is pretty clear; completeness is not! How can we tell if we can prove every valid argument?!

longa@nku.edu