Conjunction: p q is true if both p, q are true, and false if at least one of p, q is false. The truth table for conjunction is as follows.

Transcription

1 Chapter 1 Logic 1.1 Introduction and Definitions Definitions. A sentence (statement, proposition) is an utterance (that is, a string of characters) which is either true (T) or false (F). A predicate is a property that a variable (or a list of variables) might have; a predicate in the variables x 1,..., x n returns a value T or F for each choice of values of x 1,..., x n. Example. Let φ(n) denote n is prime. Then φ is a predicate; φ(17) is a true sentence and φ(4) is a false sentence. Also, if n is an integer, then φ(n) is a false sentence. Definitions. A predicate is said to be a compound sentence if the variables of the predicate are propositions. Given a compound sentence, all possible truth inputs can be inserted, and the corresponding truth outcomes listed. Such a list is known as a truth table. 1.2 Logical Connectives Let p and q be sentences. The following definitions are made. Disjunction: p q is true if at least one of p, q is true, and false if both p, q are false. The truth table for disjunction is as follows. p q p q T T T T F T F T T F F F Conjunction: p q is true if both p, q are true, and false if at least one of p, q is false. The truth table for conjunction is as follows. p q p q T T T F F F Negation: p is false if p is true, and true if p is false. The truth table for negation is as follows. p p T F F T 3

2 Implication: p q means ( p) q. The truth table for implication is as follows. Note that q p is the same as p q. p q p ( p) q T T F T F F T T T F F T T Equivalence: p q means (p q) (q p), p if and only if q. The truth table for equivalence is as follows. p q p q q p p q T T T T T T F F T F F T T T Examples. Let p and q be sentences. 1. Consider the compound sentence p (p ( q)). The truth table is as follows. Hence, this compound sentence is always true. p q q p ( q) p (p ( q)) T T T F T T T T T F F T T T 2. Consider the compound sentence p (q (p q)). The truth table is as follows. p q p q q (p q) p (q (p q)) T T T T T T F T T T F T T T F F F, whence p (q (p q)) has the same outcomes as p. Definitions. Two compound sentences, P and Q, are said to be logically equivalent if P and Q have the same truth tables, written P Q. A compound sentence that is true for all values of the inputs is called a tautology. A compound sentence that is always false is called a contradiction. Examples. Let p and q be sentences 1. As above, p (p ( q)) is a tautology. 2. Also from above, p (q (p q)) p. 3. Let p and q be sentences and consider the compound sentence p (p q). The truth table is as follows. p q p q p (p q) T T T T T F T T T F F T T Hence, p (p q) is a tautology. 4

3 4. Consider the compound sentence p ( p). The truth table is as follows. Hence, p ( p) is a tautology. p p p ( p) 5. Consider the compound sentence p ( p). The truth table is as follows. Hence, p ( p) is a contradiction. p p p ( p) 6. Consider the compound sentence p ( p). The truth table is as follows. p p p ( p) F T T 7. Finally, consider the compound sentence p (p q). The truth table is as follows. Hence, p (p q) is a tautology. p q p q p (p q) T T T T T F T T F T T T F F F T Definitions. Let p and q be sentences. The following terminology is used: 1. if p then q means p q; 2. q if p means p q; 3. p is a sufficient condition for q means p q; 4. p is a necessary condition for q means q p; 5. p unless q means ( p) q, that is, p q; 6. either p or q means (p q) ( (p q)) known as exclusive or. Remark. In common usage, either... or is often used for emphasis, when inclusive or is intended. Definitions. A definition is an agreement to assign a certain name to those x that make a certain predicate true (the if is a definition is really an if and only if sometimes written in short form as iff ). An axiom is an agreement to make a certain statement true. Theorem. Let P and Q be compound sentences. Then P Q if and only if P Q is a tautology. Proof. Assume firstly that P Q. Then for any truth inputs, P and Q are both true or both false, so P Q is true, so P Q is a tautology. Conversely, assume that P Q is a tautology. Then, for any inputs, P Q is true, so P and Q are both true or both false, so P and Q have the same truth table, so P Q. Lemma. For any sentence p, ( p) p. Proof. Consider the following truth table. p p ( p) T F T The first and third columns agree, so ( p) p as required. 5

4 1.3 De Morgan s Laws and the Distributive Laws Theorem (De Morgan s Laws). Let p, q and r be sentences. Then De Morgan s laws state that (p q) ( p) ( q); (p q) ( p) ( q). Proof. For the first law, consider the following truth table. p q p q (p q) p q ( p) ( q) T T F F T F T F F T T F F F F T T T T Hence (p q) and ( p) ( q) have the same truth table, so (p q) ( p) ( q), as required. The second law may be deduced from the first law. If p P and q Q are substituted into the first law, then (( P ) ( Q)) P Q. Negating this equivalence and using ( r) r now gives as required. ( P ) ( Q) (P Q), Theorem (The Distributive Laws for Propositions). Let p, q and r be propositions. Then, the distributive laws state that p (q r) (p q) (p r); p (q r) (p q) (p r). Proof. The first law can be proved by considering the following truth table. p q r q r p (q r) p q p r (p q) (p r) T T T T T T T T T T F T T T F T T F T T T F T T F T T F F F F T F F F F F F F F F F F F F F F F F The second law may also be proved by means of a truth table. Alternatively, forming the negation of each side of the first law, and using De Morgan s laws, gives (p (q r)) ((p q) (p r)) ( p) ( (q r)) ( (p q)) ( (p r)) ( p) (( q) ( r)) (( p) ( q)) (( p) ( r)). Replacing p by P, q by Q and r by R now gives P (Q R) (P Q) (P R), and since p, q and r were arbitrary sentences, the second law follows as required. Example. For sentences p and q, (p q) (( p) q) ( p) ( q) p ( q). 6

5 Remark. Suppose that p(x) and q(x) are predicates. Then, p(x) q(x) should mean that for all x such that p(x) is true, q(x) is also true. If p(x) q(x) is false, then there are some instances of p(x) being true but q(x) being false, that is, there exists an x for which p(x) ( q(x)). Remark. It is possible to call the truth values 0 (for false) and 1 (for true). If this convention is adopted, then makes 1 into 0, and 0 into 1, so p is 1 Truth(p). p q means that q is at least as true as p or Truth(q) Truth(p). p q has truth value min(truth(p), Truth(q)), or even just Truth(p). Truth(q). p q has truth value max(truth(p), Truth(q)) or even Truth(p) + Truth(q), but = 1 in this case. This makes the system of truth values into what is called a Boolean Algebra. This actually proves that the propositional calculus is complete; that is, given a phrase X in propositional calculus it is always possible to answer the question is X a tautology? by writing out truth tables. 1.4 Standard Methods of Argument Let p and q be sentences. The following are some standard methods of argument. Proof. Reductio ad absurdum: (( p) q) ( q)) p is a tautology. Proof by Contraposition: (p q) ( q) ( p) Modus Ponens (Method of Placing): (p (p q)) q is a tautology. Recall that p q ( p) q. Hence, (( p) q) ( q)) p ((( p) q) ( q)) p Thus, (( p) q) ( q)) p is a tautology. ((p q) ( q)) p ((p ( q)) (p ( q))) p (p ( q)) p ( p) q p T. In this case, ( q) ( p) ( q) ( p) q ( p) ( p q p q. In this case, (p (p q)) q (p (p q)) q (p ( p q)) q ((p ( p) (p q)) q (p q) q ( p) ( q) q T. Hence, (p (p q)) q is a tautology, as required. 7

6 Remarks. The first method above is argument by contradiction. q p is sometimes easier to prove than p q. Since ( p) p, in order to prove p, it is sometimes easier to disprove p. Definitions. Suppose that φ is a predicate in one variable. Then x φ(x) means φ(x) is true for every value of the variable x, and x φ(x) means φ(x) is true for some value of the variable x. The symbol is called the universal quantifier, and the symbol is called the existential quantifier. Example. If ψ is a predicate in three variables, then x y zψ(x, y, x) is a proposition and x yψ(x, y, z) is now a predicate in one variable. Definition. In an example such as the above, the variables preceded by a quantifier are known as bound variables and the other variables are known as free variables. Remark. To disprove x φ(x) it is just necessary to find (at least) one x for which φ(x) is false; such an x is called a counterexample. 1.5 Forming the Negation of a Statement Lemma. Let φ be a predicate in one variable. Then, ( x φ(x)) ( x φ(x)); ( x φ(x)) ( x φ(x)). Proof. Firstly, ( x φ(x)) is true if and only if there is a counterexample, that is, if and only if x φ(x). Similarly, ( x φ(x)) is true if and only if φ(x) is never true, that is, if and only if x φ(x). Remarks. 1. The notation is sometimes used to mean, but the notation is seldom seen. 2. If an expression contains several quantifiers, then in general their order is important. However, two consecutive universal quantifiers may be interchanged, as may two consecutive existential quantifiers can be interchanged. For example, x y φ(x, y) y x φ(x, y); x y φ(x, y) y x φ(x, y); x y φ(x, y) y x φ(x, y); y x φ(x, y) x y φ(x, y), but generally, one cannot write in the last two expressions. Examples. Let m, n be integer variables and let φ(m, n) be the predicate m = 1+n 2. Then n mφ(m, n) is true and m n φ(m, n) is false; m = 3 gives a counterexample. Also, m n φ(m, n) is false; whatever m is, the equation m = 1 + n 2 has at most 2 solutions n. Two or More Quantifiers Consider the following illustrative examples ( x y φ(x, y)) x ( y φ(x, y)) x y φ(x, y) ( x y φ(x, y)) x ( y φ(x, y)) x y φ(x, y) 8

7 3. Let f : R R be a function, and a R. The statement f is continuous at a means ɛ > 0 δ > 0 x R ( x a < δ f(x) f(a) < ɛ). By negation, the statement f is not continuous at a may be formulated. Then, f is discontinuous at a if and only if ( ɛ > 0 δ > 0 x R ( x a < δ f(x) f(a) < ɛ)) ɛ > 0 ( δ > 0 x R ( x a < δ f(x) f(a) < ɛ)) ɛ > 0 δ > 0 ( x R ( x a < δ f(x) f(a) < ɛ)) ɛ > 0 δ > 0 x R ( x a < δ f(x) f(a) < ɛ) ɛ > 0 δ > 0 x R ( ( x a < δ) ( f(x) f(a) < ɛ) ɛ > 0 δ > 0 x R ( x a < δ f(x) f(a) ɛ). 9