0% found this document useful (0 votes)
197 views7 pages

Game Theory: Logic, Set and Summation Notation: Branislav L. Slantchev

This document provides an overview of formal logic, set theory, and propositional logic notation that will be used in game theory. It defines logical operators, truth tables, quantifiers, rules of inference, and set operations. Key points include: logical operators like conjunction, disjunction, implication and their meanings; quantifiers like existential and universal and rules for their use; rules of inference for proving theorems like modus ponens and modus tollens; and basic set operations like union, intersection, complement and subset.
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
197 views7 pages

Game Theory: Logic, Set and Summation Notation: Branislav L. Slantchev

This document provides an overview of formal logic, set theory, and propositional logic notation that will be used in game theory. It defines logical operators, truth tables, quantifiers, rules of inference, and set operations. Key points include: logical operators like conjunction, disjunction, implication and their meanings; quantifiers like existential and universal and rules for their use; rules of inference for proving theorems like modus ponens and modus tollens; and basic set operations like union, intersection, complement and subset.
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 7

Game Theory: Logic, Set and Summation Notation

Branislav L. Slantchev Department of Political Science, University of California San Diego


April 3, 2005

Formal Logic Refresher

Heres a notational refresher: p, q, r , , , , p pq pq pq p q statements; either true or false, not both logical operators it is not the case that p both p and q either p or q or both if p then q p implies q and q implies p

not p p and q p or q p implies q p if and only if q

We can build compound sentences using the above notation and then determine their truth or falsity with the use of the logical operators. The truth tables of the logical operators are very simple: p T T F F q T F T F pq T F F F p T T F F q T F T F pq T T T F p T T F F q T F T F pq T F T T p T F p F T

Note that the operator is inclusive. That is, the statement p q is true if (a) only p is true, or (b) only q is true, or (c) both are true. This is dierent from the use of or in everyday language, which is exclusive. That is, the statement p or q is true if (a) only p is true, or (b) only q is true, but is false if both are true. Although sometimes a special symbol is used to denote the exclusive-or, this operator is redundant because we can simply write [p q] [p q] to express it. Be very careful where you place parentheses. For example, what does p q p mean? Does it mean p (q p) or does it mean (p q) p? The rst statement is always true while the second is true only when p is false. We shall adopt the following convention. First, locate followed by a simple statement such as p and take the brackets around p as implicit. Then, nd instances where two statements are joined by or and take the brackets around them as implicit. Thus, by this

convention, the correct interpretation of the example above is (p q) (p). This convention still does not allow us to interpret p q r unambiguously, and so we shall use brackets to make the meaning clear. Pay special attention to the operator because its expression in words may also be misleading. We can think of the statement p q, as two separate statements. First, suciency: p is a sucient condition for q. That is, whenever p is true, then q must be true as well, but whenever p is false, then q can be either true or false. Second, necessity: q is a necessary condition for p. That is, if q is false, then p must be false as well. If q is true, then p can be either true or false. You should make sure that you understand the following truth table which depicts p and q as jointly necessary and sucient conditions. p T T F F q T F T F p T F F T q

We shall deal with necessary and sucient conditions quite a bit, so you should make sure you thoroughly understand them. A tautology is a compound statement that is always true (like p [q p], for example). A theorem (or proposition, or lemma or corollary) is a tautology of the form [p1 p2 . . . pk ] q. The statements p1 , p2 , . . . , pk are assumptions. We would generally write something like: Assume (a) p1 , (b) p2 , . . ., and (z) pk . Then q. How do we prove theorems? There are several types of logical rules available: 1. Simplication: From p q we can infer p and we can infer q. 2. Addition: From p we can infer p q. 3. Conjunction: From p and q we can infer p q. 4. Disjunctive Syllogism: From [p q] p we can infer q. 5. Modus Ponens: From [p q] p we can infer q. 6. Modus Tollens: From [p q] q we can infer p. 7. Hypothetical Syllogism: From [p q] [q r ] we can infer [p r ]. 8. Constructive Dilemma: From [p q] [s t] [p s] we can infer [q t]. To apply these rules, we usually need some rules of replacements (the sign below reads is interchangeable with, which means has the same truth value as): 1. Double Negation: p p. 2. Tautology: p p p. 3. Commutation: p q q p, and p q q p. 4. Association: [p q] r p [q r ], and [p q] r p [q r ]. 5. Distribution: p [q r ] [p q] [p r ], and p [q r ] [p q] [p r ]. 2

6. DeMorgans Law: [p q] p q, and [p q] p q. 7. Contraposition: p q q p. 8. Implication: p q p q. The Rule of Conditional Proof : at some point in an argument we may want to deduce a conditional statement of the form q p from the statements already deduced. At this point, we can introduce q as an assumed premise. If we can then deduce p from q and the statements already deduced, then we can infer q p. For example, assume (a) q p, and (b) r p. Prove q r . The proof has several steps: 1. 2. 3. 4. 5. 6. 7. q q p p r r qr assumed premise double negation from (a), disjunctive syllogism double negation from (b), modus tollens double negation rule of conditional proof

Thus, we started from q and the two assumptions, and arrived at r , thereby proving the statement. An important variant of RCP is the Proof by Contradiction (one of my favorites). A contradiction is a compound statement of the form q q. It is always false. The Rule of Reductio ad Absurdum, which is just a special case of RCP, is used when we want to deduce p. We introduce an assumed premise of the form p and try to deduce a contradiction from p and the statements already deduced. For example, assume (a) p q, (b) q [r w], and (c) [r p] z. Prove that z. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. z [r p] r p p q r w r r p z z z z assumed premise from (c), modus tollens DeMorgans Law simplication from (a), disjunctive syllogism from (b), modus ponens simplication addition from (c), modus ponens from assumed premise, conjunction reductio ad absurdum

To see that RAA is just a special case of RCP, note that we take p as an assumed premise and deduce q q. By RCP, we can infer p q q. But q q is false regardless of the truth value of q. By modus tollens we can infer p, which by double negation is equivalent to p. Sometimes we want to state generalities of the form some element in the set X has a property p() and every element in the set X has property p(). To do this, we use quantiers: (x X)p(x) (x X)p(x) existential universal there exists an x in X such that p(x) for all x in X, p(x) 3

The precise meaning of the existential quantier is the same as its English interpretation. However, what does the universal quantier mean if the set X is empty? Thus, we clarify the interpretation to state there is no x in X such that p(x) is false: [(x X)p(x)] [(x X)p(x)].

So, the original statement is vacuously (automatically) true if X is empty. For example, let X be the set of ying pigs, and let p(x) = has wings. Then (x X)p(x) is true. That is, it is not the case that there exists a ying pig that does not have wings. This is true because there exists no ying pig, with or without wings. There are four rules of propositional logic: 1. Universal Instantiation: From (x X)p(x) we can infer p(y) for every particular y in X. 2. Existential Instantiation: If (x X)p(x), then we can select a particular y in X and assume p(y), as long as nothing else about y is assumed (it cannot appear previously in the proof). 3. Existential Generalization: If p(y) holds for some (it does not matter which) particular y in X, we can infer (x X)p(x). 4. Universal Generalization: If we can prove p(y) for some y X without assuming anything about y other than its membership in X, we can infer (x X)p(x). For example, assume (a) (x X)[p(x) q(x)], and (b) (x X)[q(x) r (x)]. Then (x X)[p(x) r (x)]: 1. 2. 3. 4. 5. 6. 7. p(z) q(z) q(z) r (z) q(z) r (z) p(z) p(z) r (z) (x X)[p(x) r (x)] from (a), existential instantiation from (b), universal instantiation from (1), simplication from (2,3), modus ponens from (1), simplication from (4,5), conjunction existential generalization

Be careful when you apply universal generalization and existential instantiation. These can be tricky! Aristotle screwed it up and it took people over a thousand years to catch the mistake. Heres what Aristotle said: A. B. Therefore, all x are Y all x are Z some Y are Z

Can you spot the mistake? Dont worry, as I said, it took people a really long time to see it.1
The conclusion does not follow if X is an empty set. So this is a problem with using the universal quantied improperly.
1

Set Theory Notation

We shall only review notation and some basic rules. X, Y , Z x, y, z xX xX Y X Y =X Y X Y X sets elements of sets x is in X, or x is an element of X x is not in X Y is a subset of X, or Y is included in X Y is equal to X, or Y X X Y Y is not equal to X, or [Y = X] Y is a proper subset of X, or Y X Y X the empty set (set with no elements)

Note that the empty set is a subset of every set since (x X)(x X) is vacuously true for every X. There is only one empty set. A set can be identied by listing its contents or by specifying a property common to all and only the elements of that set. For example, if X is the set of integers, then we can represent the set consisting of the number 1, 2, and 3 by {1, 2, 3} or {x X|0 < x < 4} where the second representation is read the elements x of X such that 0 < x < 4. This method of dening sets is useful when the set is large. For example, if X is the set of real numbers, the set of positive real numbers is {x X|x > 0}. We could never list these numbers. The following are some simple operations on sets. Let X be our universe of discourse (that is, everything happens in this set X). Let Y and Z be subsets of X. Then 1. Intersection: Y Z = {x X|x Y x Z} 2. Union: Y Z = {x X|x Y x Z} 3. Complement: Y = {x X|x Y } 4. Subtraction: Y \Z = Y Z = {x X|x Y x Z} The last operation is also called the complement of Z relative to Y . DeMorgans Law (which you should recall from the previous section) is also applicable to sets. For example, let X be the universe of discourse. Then [Y Z] = Y Z. To prove this, we need to show (1) [Y Z] Y Z and (2) Y Z [Y Z]

We check (1). By the denition of , we have to show that (x [Y Z])[x Y Z]. Consider any y [Y Z]. By denition, y [Y Z] [y Y y Z] = [y Y ] [y Z], where the last step is by DeMorgans Law for logical statements. We can rewrite the last statement as y Y y Z, or y Y y Z. Finally, by denition, we have y [Y Z]. 5

Since we assumed nothing about y except that it was one element of [Y Z], we can use universal generalization to conclude that (x [Y Z])[x Y Z]. This gives us (1). The proof for (2) is similar. Sets are very useful for expressing order or duplication. For example, to represent a point on the Cartesian plane by a pair of numbers (one for horizontal and one for vertical position), we have to express order. Whenever order is important, we enclose the elements in parentheses: (5, 2). By convention, it is essential to list 5 before 2 because the point (5, 2) is quite dierent from the point (2, 5). The elements do not have to be numbers: we can consider (x, y, z) where x X, y Y , and z Z, with X, Y , and Z being any sets at all. For example, let X be the set of numbers of Coke cans, Y be the set of numbers of whiskey shots, and Z be the set of numbers of wine glasses. Then (3, 1, 10) represents 3 Coke cans, 1 whiskey shot, and 10 glasses of wine. On the other hand, the element (10, 1, 3) represents 10 Coke cans, 1 shot of whiskey, and 3 glasses of wine. When the elements are two, we call the signication of order an ordered pair. For more elements, we have ordered triples, all the way up to ordered n-tuples. The set of ordered n-tuples from X1 , X2 , . . . , Xn is the n-fold cross product (sometimes called the Cartesian product) written as X1 X2 . . . Xn . For example, when n = 2 the cross-product of X1 and X2 is dened as X1 X2 = {(x1 , x2 )|x1 X1 x2 X2 } So, if X1 = {1, 2, 3} and X2 = {Mike, Suzie, Peter}, then the cross-product is X1 X2 = (1, Mike), (2, Mike), (3, Mike), (1, Suzie), (2, Suzie), (3, Suzie), (1, Peter), (2, Peter), (3, Peter) When X1 = X2 = = Xn = R, we refer to their cross product as the n-dimensional Euclidean space. Sometimes it is useful to employ a shorthand notation for the cross-product: X X1 X2 Xn Set theory is really something you should familiarize yourself with if you intend to do serious work in formal theory.

Summation Notation and Rules

We shall be using summation and multiplication quite often, so its worth refreshing our memories about the rules. We can condense summation and multiplication as follows:
N

x1 + x2 + x3 + . . . + xN =
i=1 N

xi , xi .
i=1

x1 x2 . . . xN = Here are some useful rules: 6

1. For a constant a,

a=N a
i=1

and
i=1

a = aN

2. For a constant a and a variable x,


N N N

axi = a
i=1 i=1

xi

and
i=1

axi = aN

xi
i=1

3. For two variables x and y,


N N N

(xi + yi ) =
i=1 i=1

xi +
i=1

yi

4. For two constants a and b, and two variables x and y,


N N

(axi byi ) = a b
i=1 i=1

x i yi

Here are two mistakes that people sometimes make:


N i=1

2 xi

N i=1

2 xi

and also

x i yi
i=1 i=1

xi
i=1

yi .

Sometimes we can employ shortcuts when the indexing is known, and so we would write axi with the understanding that x is the variable, a is a constant, and the range of indexing is known. Sometimes (rarely) we would use double summation signs:
N K N K K N

x i yj =
i=1 j=1 i=1

xi
j=1

yj =
j=1 i=1

x i yj .

Note that x and y must be separately indexed for this to hold.

You might also like