Scribd
Upload
146 views3 pages

Logical Statement (Sudersen)

This document defines logical statements and operations such as conjunction, disjunction, negation, implication and equivalence. It provides truth tables for these operations and discusses implication, converse, contrapositive and negated implication. It also defines existential and universal quantifiers, De Morgan's laws, and English phrases that express logical operations and quantifiers. Key logical concepts like validity of proofs and interpretation of implications are explained. Resources for further reading on this topic are recommended.

Uploaded by

sudersen
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
146 views3 pages

Logical Statement (Sudersen)

This document defines logical statements and operations such as conjunction, disjunction, negation, implication and equivalence. It provides truth tables for these operations and discusses implication, converse, contrapositive and negated implication. It also defines existential and universal quantifiers, De Morgan's laws, and English phrases that express logical operations and quantifiers. Key logical concepts like validity of proofs and interpretation of implications are explained. Resources for further reading on this topic are recommended.

Uploaded by

sudersen
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 3

Math 347 Logical statements A.J.

Hildebrand

Logical statements: Summary of definitions, notations, and terminology


Logical operations
The basic logical operations are (and), (or), (negation), and (implies), and (equivalent);
they are defined in the following truth tables:
P Q P Q P Q P Q P Q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
Implication, converse, and contrapositive: The most important, but also the most misused and misunderstood,
of these logical operations is the logical implication (P Q), and the related operations of the converse (Q P ),
the contrapositive (Q P ), and the negated implication ((P Q)). The following table (which follows from
the above truth table for P Q) shows the differences between these operations:
P Q P Q Q P Q P (P Q)
Implication Converse Contrapositive Negated implication
T T T T T F
T F F T F T
F T T F T F
F F T T T F
Notes:
The best way to remember the correct logical interpretation of an implication is as follows:
An implication P Q is true in all cases except when the assumption (premise) P is
true and the conclusion Q is false; it is false if and only if both P is true and Q is false.
In particular, this shows that if P is false, then the implication P Q is true, regardless of the truth value of
Q. In other words, from a false statement one can derive anything. This is the reason why a proof
that starts out with the statement to be proved, say P , and derives from this a true statement, say Q, is
not valid: The truth of Q and of the implication P Q does not say anything about the truth value of P ; P
may be false, while P Q and Q are both true.
The negation of an implication P Q is not equivalent to another implication involving P and Q.
This is easy to see from the above truth table: (P Q) is true in exactly one of the four cases and false in three
cases. By contrast, an implication with P or P on one side and Q or Q on the other side (e.g., P Q,
Q P , Q P , etc.) is always is true in three cases, and false in one case, so it can never match the truth
table of (P Q).
Note that the implication P Q and its contrapositive Q P have the same truth tables,
and hence are logically equivalent. This is the reason why proof by contraposition is a valid method of
proof.

Quantifiers
Existential quantifier: (there exists).
Universal quantifier: (for all).

Rules for negation


(P Q) (P ) (Q) (De Morgans Law, I)
(P Q) (P ) (Q) (De Morgans Law, II)
(x S)(P (x)) (x S)(P (x))
(x S)(P (x)) (x S)(P (x))

1
English equivalences of logical operations and notations
Here are some English words and phrases that translate into logical implications, equivalences. See p. 33 and p. 29
of the text for similar tables. Be sure to familiarize yourself with these words and phrases and with their
logical interpretation.

Phrases expressing P Q (P implies Q):


If P , then Q
Q follows from P :
Q is true if P is true
Q is true whenever P is true
P is true only if Q is true
P is a sufficient condition for Q
Q is a necessary condition for P :

Phrases expressing P Q (P is equvialent to


Q):
P holds if and only if Q holds
P is a necessary and sufficient condition for Q

Phrases expressing existential quantifiers (x . . .


)
There exists x S such that . . .
. . . holds for some x S
For some x S we have . . .

Phrases expressing universal quantifiers (x . . .


)
For all x S, we have . . .
For any x S, . . .
Every x S satisfies . . .
Given x S, we have . . .
If x S, then . . .
Whenever x S, then . . .

Further
resources
This material is covered in the DAngelo/West text on pp. 2734; youll find there many examples illustrating the
proper use of logical statements, and some excellent general remarks and advice. Be sure to read this section.

Final Words
The fact that all Mathematics is Symbolic Logic is one of the greatest discoveries of our age. Bertrand

Russell Logic, like whiskey, loses its beneficial effect when taken in too large quantities. Lord
Dunsany Logic is the art of going wrong with confidence. Morris

Kline

You might also like

pFad - Phonifier reborn

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

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy