Logic

Logical Connectives
G oo d Pr ob lem s: M a rch 2 5, 2 00 8
Mathematics has its own language. As with any language, e ective communication depends on logically connecting components. Even the simplest real mathematical problems require at least a small amount of reasoning, so it is very important that you develop a feeling for formal (mathematical) logic. Consider, for example, the two sentences There are 10 people waiting for the bus and The bus is late. What, if anything, is the logical connection between these two sentences? Do es one 2 + r 2 = 0 and r = 1 logically imply the other? Similarly, the two mathematical statements r or r = 2 need to be connected, otherwise they are merely two random statements that convey no useful information. Warning: when mathematicians talk about implication, it means that one thing must be true as a consequence of another; not that it can be true, or might be true sometimes. Words and symbols that tie statements together logically are called logical connectives. They allow you to communicate the reasoning that has led you to your conclusion. Possibly the most important of these is implication the idea that the next statement is a logical consequence of the previous one. This concept can be conveyed by the use of words such as: therefore, hence, and so, thus, since, if . . . then . . . , this implies, etc. In the middle of mathematical calculations, we can represent these by the implication symbol ( ). For example x + 7y
2
=3y=3x
7 ; (1)
x (0, ) cos(x) [ 1, 1]. (2) Converse Note that statement A statement B does not necessarily mean that the logical converse statement B statement A is also true. Logical implication is a matter of cause and e ect; the logical converse is simply the reverse cause-e ect situation (which may not be true). Consider the following, everyday example: I am running to class because I am late. It should be clear that the logical converse of these is not true: I am late to class because I am running. For examples (1) and (2) above: x + 7y
2
=3y=3x
7;
x (0, ) cos(x) [ 1, 1]. Since x < 0 cos(x) [ 1, 1] also. Contrapositive We have seen that simply reversing a logical statement can lead to problems. There is a way, however, to invert an implication so that the inverted statement is also true. This is known as the contrapositive. Consider the statement A B; this means if A is true, then B is true. The contrapositive is if B is false, then A must be false. Here is an example of how these concepts fit together: If X is a cat, it is an animal. Accept as true If X is an animal, it is a cat. FALSE (converse) If X is not an animal, it is not a cat. TRUE (contrapositive) If X is not a cat, it is not an animal. FALSE. This is the contrapositive of the second statement, which is false.
Logical Connectives, page 2.
G oo d Pr ob lem s: M a rch 2 5, 2 00 8
Equivalence When the implication works both ways, we say that the two statements are equivalent and we may use the equivalence symbol ( ); in words we may say A is equivalent to B or A if and only if B. If two statements are equivalent, we may use any of the implication symbols ( , , or ). Which connective we use depends on what we are trying to show. In (1) above, if we are trying to obtain a formula for y, we would probably just use , even though the stronger statement ( ) is also true. If, however, we wanted to show that two statements about x and y were equivalent, we would write x + 7y
2
=3y=
Careful logic is the heart and soul of mathematics; learn to reason with watertight arguments and use logical connectives to explain your reasoning processes. Example: What is the greatest amount of water that a right-cylindrical water tank can hold if there is 100m of material from which to construct it? Good: Let the height of the tank be h and the radius be r. Then the volume of the tank is V (h, r) = 2 + 2prh = 2pr(r + h). Since we require V > 0, we can phr 2 and the surface area is S(h, r) = 2pr 2 of material, then S = 100, and so assume that r, h > 0. If we have 100m S = 2pr(r + h) = 100 r + h = 100 2pr h = 50 pr r V = phr To find the maximum volume, we look for r such that
dV dr 2
3 -x 7
= 50r pr
dV dr
= 0. Di erentiating with respect to r gives
= 50 3pr
. Hence, dV dr = 0 50 3pr
=0
r2 = 50 3p r = 50 Since r > 0, we can use the second derivative test and find r=
50 3p
3p .
d2 V dr 2
= 6pr < 0. This implies that
2.3033 maximizes V . From above, the optimal volume is V = 50r pr = 50 p 50 = 100

3
50 3p 50 3p
3p 76.7765.
3
Thus we have found that the greatest amount of water such a tank can hold is (approximately) 76.7765m

Logic

Uploaded by

Copyright:

Available Formats

Logic

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Logic

Uploaded by

Copyright:

Available Formats

Logical Connectives

Logical Connectives, page 2.

= 0. Di erentiating with respect to r gives

= 6pr < 0. This implies that

2.3033 maximizes V . From above, the optimal volume is V = 50r pr = 50 p 50 = 100

You might also like

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.