Scribd
Upload
41 views3 pages

Logic

The document discusses different logical connectives used in mathematics to connect statements and convey reasoning. It defines implication as one statement being a logical consequence of another. Other logical connectives discussed include equivalence, where statements are logically equivalent, the converse, which reverses implication but may not be true, and the contrapositive, which inverts implication into an equally true statement. An example is provided to illustrate these concepts and show how careful use of logical connectives is important for clear mathematical reasoning and arguments.

Uploaded by

ashiroccks
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 RTF, PDF, TXT or read online on Scribd
41 views3 pages

Logic

The document discusses different logical connectives used in mathematics to connect statements and convey reasoning. It defines implication as one statement being a logical consequence of another. Other logical connectives discussed include equivalence, where statements are logically equivalent, the converse, which reverses implication but may not be true, and the contrapositive, which inverts implication into an equally true statement. An example is provided to illustrate these concepts and show how careful use of logical connectives is important for clear mathematical reasoning and arguments.

Uploaded by

ashiroccks
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 RTF, PDF, TXT or read online on Scribd
You are on page 1/ 3

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

You might also like