Hello, dear friend, you can consult us at any time if you have any questions, add WeChat: daixieit

ECON30020 Mathematical Economics

Tutorial 1. Logic and Proof

Question 1.  True or False?

Mark each statement as True or False. Justify your answer.

(a)  The only case where p ÷ q is false is when p holds but q does not.  Note that p ÷ q is

equivalent to if p then q”, and to p implies q” .

Complete the truth table for the implication p ÷ q, where T = true and F = false:

p

q

p  =÷  q

T

T

 

T

F

 

F

T

T

F

F

T

Note that, by convention, if p is false, then implication p ÷ q is always true, whether q is true or false.

(b)  “If p then q” is equivalent to p whenever q” .

(c)  “A implies B”, formally written as ÷ B”, is equivalent to saying A is sufficient for

B” and to saying B is necessary for A” and to saying not B implies not A” . Answer:

(a)  True. If p is true while q is false, the statement p implies q” is false; if both p and q are

true, then implication is true.

Convince yourself by taking p:  “being in Switzerland” and q:  “being in Europe” .  Then the statement  p implies q” is true; and q holding while p does not does not invalidate the statement (since you could be in Italy).

In contrast, with q and p the same, the statement q implies p” is evidently false (since you could be in Italy).

p

q

p  =÷  q

T

T

T

T

F

F

F

T

T

F

F

T

(b) False.   The statement  p whenever q” is logically equivalent to q   =÷   p  (“q implies

p”), which is not the same as p ÷ q .  Consider the examples from (a):  ”If Simon is in Switzerland, then he is in Europe” is not logically equivalent to If Simon is in Europe, then he is in Switzerland” .  Indeed, the rst implication is true, while the second one is false.

(c)  True.   The rst two statements are equivalent ways of saying  A implies B” in plain English.  Again, convince yourself by taking A to say:  “being in Switzerland” and B to say:  being in Europe” . Being in Switzerland is sufficient to being in Europe (if you are in Switzerland, then, of course, you are in Europe).  Being in Europe is necessary for being in Switzerland.

Statements A implies B” and not B implies not A” are logically equivalent. Statement “not B implies not A” is called a contrapositive statement. Convince yourself by consid- ering the following statements: ”If Simon is in Switzerland, then he is in Europe” and If Simon is not in Europe, then he is not in Switzerland” . They are clearly equivalent (and true) statements.

Question 2.  Location, Location, Location

Consider consumers of mass m  >  0 who are distributed over an interval  [a, b] with a  <  b according to some distribution.  (Alternatively, you can think that there is a nite and positive number m of consumers located on this interval.)

There are two rms (called the incumbents) located on the interval: one is located at point a and the other one is at point b. The new rm (called the entrant) can choose to locate at any point x in [a, b].

Consumers go shopping at the rm that is closest to their locations (it could be an incumbent at a, an incumbent at b or the entrant at x). Assume that when a consumer is indifferent between an incumbent and the entrant, she always goes to the entrant.

For example, if the entrant locates at x in (a, b), it will attract all consumers located in [(a + x)/2, (x + b)/2]: consumers located at point (a + x)/2, in the middle between incumbent at a and the entrant at x, will go the the entrant; so will all the consumers at point (x + b)/2, and so will all the consumers located between these two points.

consumers who go     go to                 consumers who go to

to Incumbent at a        Entrant             Incumbent at b

a   (a+x)/2  x       (x+b)/2      b

Another example: if the entrant chooses a, it gets all the consumers to its right that do not go to the incumbent at b, i.e., everyone located in [a, (a + b)/2].

The entrant wants to maximize the number of consumers it attracts.

Assume that the entrant knows the distribution of the consumers on the interval (i.e. it knows where each consumer is located), but you do not have this information. Show that the entrant, when locating at its optimal point, always gets at least a half (i.e. m/2) of all consumers.

Hint 1:  this is a pure problem on logic; you do not need to have any extra economic knowledge .

Hint 2:  look in the corners .

Answer: We want to show that at the optimal location, the entrant always gets at least half (m/2) consumers.  The entrant knows the distribution of consumers on the interval, and so is able to calculate its optimal location x* : For each x, the entrant can calculate how many people are located on interval [(a + x)/2, (x + b)/2].  The value of x that gives the higest number, is the optimal point.                                                                                                                             Unfortunately, we do not know the distribution of consumers and, thus, are not able to nd optimal x* .                                                                                                                                        Instead, we will show that if entrant locates at a or b (whichever results in more customers), the firm will attract at least m/2 consumers. Therefore, just choosing the best of these two points will guarantee the entrant at least m/2 consumers. But this point may not be optimal! When the entrant is at the optimal location, it must get at least as many customers as it could get by locating at a or b, so the rm will get at least m/2 consumers at the optimal point.                  If the entrant chooses x = a, it gets all the consumers located on the interval [a, (a + b)/2]; if it locates at x = b, it gets everyone on the interval [(a + b)/2, b].  One of these intervals must contain at least m/2 consumers: If each of them has fewer than m/2, then together they have less than m, which is impossible, as the total number of consumers on [a, b] is m. (Nice example of proof by contradiction.)                                                                                                                Therefore, the entrant can always get at least half of all consumers by locating at the best point out of a and b, and that proves that the entrant gets at least m/2 consumers when it chooses its location optimally.

Question 3.  True running

Are the following statements true or false?  Explain.  “If someone runs 14 km in 56 minutes, then this person...

(a)  ...runs a contiguous stretch of 10 km in 40 minutes or less.”

(b)  ...runs a contiguous stretch of 5 km in 20 minutes or less.”  This question is quite tricky.

Hint for  (a):  if your  answer is  true”, please provide  a  careful  argument  why  it  must  be  the case .  If your answer is  false”, please provide an example of a schedule when someone runs any contiguous stretch of 10 km in more than 40 minutes, yet runs the whole  14 km in 56 minutes (this is called a proof by construction) .

Answer:

(a) False.  This question tries to trick our intuition.  If someone runs 14 km in 56 min, it on

average takes 4 min/km (inverse of speed; the speed is = 14/56 = 0.25 km/min). Running 10 km in 40 min also averages to 4 min/km.  Thus, it seems intuitive that the answer is ”true” . It can’t be the case that it takes you to run any contiguous stretch of 10 km more than 4 min/km on average (too slow), but for the whole 14 km it takes you only 4 min/km on average, can it? Well, it can.

What you need to do is to run any contiguous 10 km slowly” but the whole 14 km at 4 min/km on average.  As all contiguous 10 km intervals will have common intersection in the middle, you can achieve this by running faster at the beginning and the end, and more slowly in the middle.  We will use the constructive proof (proof by construction). Any one example is sufficient, but here are two.

The easiest example is to run at a constant speed, but have a stop for a few minutes in the middle (at 7 km mark).  Let’s say you run at a min/km and stop in the middle for x minutes.  Note that any contiguous 10 km will include the stop in the middle.  Then a and x must satisfy:

a * 14km + xmin = 56min (14 km in 56 min)

and a * 10km + xmin > 40min (10 km in more than 40 min).

For example, choose a = 3min/km, then x = 14min satisfies both constraints.  Thus, if you run at a constant speed, so it takes you 3 min/km and stop for 14 min after 7 km, then you run the whole distance of 14 km in 56 minutes, but any contiguous 10 km takes

you more than 40 min to run. Therefore, the statement is false.

Another example:

Suppose the person runs the rst and last 4km at a constant fast speed, at a min/km, and the middle 6 km slowly, at b min/km. We need 8a + 6b = 56 to nish 14 km in 56min and 4a + 6b > 40 since any contiguous 10km consist of 4 fast km and 6 slow km.

From 8a+6b = 56 we get b = (56 -8a)/6. Plugging this into the inequality and rearranging yields a < 4.  For example, with a = 3 min/km, we get b = 5min and 20sec /km.  The time to run any contiguous 10km is 4a + 6b = 4 * 3 + 6 * 16/3 = 44 min > 40 min.

(b) False.  Again, we need to nd an example when someone runs any contiguous stretch of

5km slowly”, but runs the whole 14 km in 56 min.  Unlike in part (a), there are now contiguous 5km stretches that do not intersect, for example, the rst 5km and the last 5km. Therefore, it will not be enough to have only one slow” interval in the middle, we will need two slow intervals and three fast ones.

Suppose Tyson runs in a sequence of ve intervals: fast-slow-fast-slow-fast.  Let’s choose fast intervals to be 3km and slow intervals to be 2.5km, so, indeed 3 * 3 + 2 * 2.5 = 14km. If he runs fast intervals at a min/km and slow intervals at b min/km, then we have 3 * 3km*a min/km + 2 * 2.5km*bmin/km = 56min, or 9a + 5b = 56.

His fastest contiguous 5km interval consists of fast 3km and slow 2km. It must take him more than 20 min to run it: 3a + 2b > 20.

We need to nd values of a and b that satisfy both constraints. Let’s choose a = 3min/km, then b = 5.8 min/km = 5min 48sec /km.

Thus, Tyson runs 14 km in 56 minutes, but even the fastest contiguous 5km interval takes him 3a + 2b = 3 * 3 + 2 * 5.8 = 20.6 min = 20min 36sec > 20min to run. Therefore, the statement is false.