Introduction to Logical Terminology, Notation, and Proof Structure
Mark Barsamian, Ohio University
I: Statements, Predicates, Logical Equivalence
Astatement\( S \) is a sentence that can betrueorfalse
For example, the sentence"March has 31 days"is a true statement.
For example, the sentence"June has 31 days"is a false statement.
Apredicate\( P(x) \) is a sentence that contains a variable \( x \) that can be chosen from somedomainset \( D \) such that once a value of \( x \) is chosen, \( P(x) \) becomes a statement that is either true or false.
For example, the sentence"\( x \) has 31 days"is a predicate with domain \( D \) the set of months. This predicate could be denoted \( P(x) \). It is neither true nor false, because we don't know the value of \( x \). Observe that \( P(March) \) is a true statement, while \( P(June) \) is a false statement.
Often, two predicates can look different but actually have same truth value. That is the idea oflogical equivalence. Here is the definition:
usage:\( P(x) \) and \( Q(x) \) are predicates with variable \( x \) and domain \( D \)
meaning:\( P(x) \) and \( Q(x) \) have the same truth value for every particular choice of value for \( x \) from domain \( D \).
II: Building New Statements and Predicates from Old
The simplest way to build a new statement from an old one is by using thenegation
Definition of thenegation
symbol:\( NOT(S) \)
usage:\( S \) is somestatement
meaning:\( NOT(S) \) is a new statement whose truth value is defined to be the opposite of the truth value of \( S \). That is, the truth \( NOT(S) \) is defined by the followingtruth table.
truth of \( S \)
truth of \( NOT(S) \)
true
false
false
true
generalization:The symbol \( NOT( P(x) ) \), where \( P(x) \) is apredicate, is anew predicatethat is defined in the obvious way.
A common way of building a new statement fromtwoold ones is by using theconjunction, which is also known as theANDoperation.
Definition of theconjunction
symbol:\( A \; AN\!D \; B \)
alternate symbol:\( A \wedge B \) (spoken "\( A \)wedge\( B \)".)
usage:\( A \),\( B \) arestatements
meaning:\( A \; AN\!D \; B \) is a new statement whose truth value is defined by the following truth table. (From now on, the column headings in truth tables will just give the symbol for the statement, rather than sayingtruth of statement.)
\( A \)
\( B \)
\( A \; AN\!D \; B \)
T
T
T
T
F
F
F
T
F
F
F
F
generalization:The symbol \( A(x) \; AN\!D \; B(x) \), where \( A(x) \) and \( B(x) \) are bothpredicates, is anew predicatethat is defined in the obvious way.
Another common way of building a new statement from two old ones is by using thedisjunction, which is also known as theORoperation.
Definition of thedisjunction
symbol:\( A \; OR \; B \)
alternate symbol:\( A \vee B \) (spoken "\( A \)vee\( B \)".)
usage:\( A \),\( B \) arestatements
meaning:\( A \; OR \; B \) is a new statement whose truth value is defined by the following truth table.
\( A \)
\( B \)
\( A \; OR \; B \)
T
T
T
T
F
T
F
T
T
F
F
F
Remark:Notice that the logicalORoperation is what is sometimes referred to as theinclusive orin regular English. That is, \( A \)OR\( B \) is true not just when one of \( A \) or \( B \) is true, but also when they arebothtrue.
generalization:The symbol \( A(x) \; OR \; B(x) \), where \( A(x) \) and \( B(x) \) are bothpredicates, is anew predicatethat is defined in the obvious way.
Our third way of building a new statement from two old ones is by building aconditional statement, which is also known as anIF-THENstatement.
Definition of theconditional statement
sentence:\(I\!f \; A \; then \; B \)
alternate sentence:\( A \; implies \; B \)
symbol:\( A \rightarrow B \)
usage:\( A \),\( B \) arestatements
meaning:\( A \rightarrow B \) is a new statement whose truth value is defined by the following truth table.
\( A \)
\( B \)
\( A \rightarrow B \)
T
T
T
T
F
F
F
T
T
F
F
T
generalization:The symbol \( A(x) \rightarrow B(x) \), where \( A(x) \) and \( B(x) \) are bothpredicates, is anew predicatethat is defined in the obvious way.
NegateANDandORstatements usingdeMorgan's Laws
\( NOT ( A \wedge B ) \equiv NOT(A) \vee NOT(B) \)
\( NOT ( A \vee B ) \equiv NOT(A) \wedge NOT(B) \)
Negate theconditional statementin this surprising way:
\( NOT ( A \rightarrow B ) \equiv A \wedge NOT(B) \)
In words: \( NOT ( I\!f \; A \; then \; B ) \equiv A \; AND \; NOT(B) \)
III: Related Conditional Statements
Introducing theconverse, theinverse, and thecontrapositive
Recall the truth table for the conditional statement \( I\!f \; A \; then \; B \):
\( A \)
\( B \)
\( A \rightarrow B \)
T
T
T
T
F
F
F
T
T
F
F
T
We let \( S \) stand for the original conditional statement \( I\!f \; A \; then \; B \). There are three conditional statements that are related to \( S \):
Theconverse of \( S \)is the statement \( I\!f \; B \; then \; A \).
Theinverse of \( S \)is the statement \( I\!f \; NOT(A) \; then \; NOT(B) \).
Thecontrapositive of \( S \)is the statement \( I\!f \; NOT(B) \; then \; NOT(A) \).
Truth of the Related Conditional Statements
For an original statement \( S \) of the form \( I\!f \; A \; then \; B \), the truth of the related conditional statements can be determined by making truth tables for them.
Truth table for theconverse of\( S\):
\( A \)
\( B \)
\( A \)
\( B \rightarrow A \)
T
T
T
T
T
F
T
T
F
T
F
F
F
F
F
T
Observe that theconverse of\( S\) isnotlogically equivalent to \( S \) because \( S\) and theconverse of\( S\) have different truth tables.
Truth table for theinverse of\( S\):
\( A \)
\( B \)
\( NOT(A) \)
\( NOT(B) \)
\( NOT(A) \rightarrow NOT(B) \)
T
T
F
F
T
T
F
F
T
T
F
T
T
F
F
F
F
T
T
T
Observe that theinverse of\( S\) isnotlogically equivalent to \( S \) because they have different truth tables.
But notice that theinverse of\( S\)islogically equivalent to theconverse of\( S\) because they have the same truth tables.
Truth table for thecontrapositive of\( S\):
\( A \)
\( B \)
\( NOT(B) \)
\( NOT(A) \)
\( NOT(B) \rightarrow NOT(B) \)
T
T
F
F
T
T
F
T
F
F
F
T
F
T
T
F
F
T
T
T
Observe that thecontrapositive of\( S\)islogically equivalent to \( S \) because they have the same truth tables. Knowing how to exploit this fact will be incredibly useful in this course and in all future math that you do.
IV: Quantified Statements
Definition of theexistential quantifier
symbol:\( \exists x \in D \left( P(x) \right) \)
usage:\( P(x) \) is somepredicatecontaining the variablexwith domainD
meaning:There exists some \( x \) in \( D \) such that \( P(x) \) is true.
more terminology:The symbol \( \exists \) is called theexistential quantifier; The whole sentence "\( \exists x \in D \left( P(x) \right) \)" is called anexistentially quantified statement
example:
Let \( D \) be the set of cars in the Morton Hall parking lot.
Let \( x \) be a variable with domain \( D \).
Let \( Silver(x) \) be a the predicate"\( x \) is silver."
Let \( A \) be the statement \( \exists x \in D \left( Silver(x) \right) \)
Then Statement \( A \) means"There exists a car in the Morton Hall lot that is silver."
Definition of theuniversal quantifier
symbol:\( \forall x \in D \left( P(x) \right) \)
usage:\( P(x) \) is somepredicatecontaining the variablexwith domainD
meaning:For every \( x \) in \( D \), \( P(x) \) is true.
more terminology:The symbol \( \forall \) is called theuniversal quantifier; The whole sentence "\( \forall x \in D \left( P(x) \right) \)" is called auniversally quantified statement
example:
Same domain \( D \), variable \( x \) and predicate \( Silver(x) \) as in the previous example
Let \( B \) be the statement \( \forall x \in D \left( Silver(x) \right) \)
Then Statement \( B \) means"Every car in the Morton Hall lot is silver."
What is thesubjectofpredicatesandquantified statements?
Consider the predicate"\( x \) is red."Clearly the predicate is a sentence about car \( x \). In general,a predicate is a sentence about the variable \( x \).Once an actual value for \( x \), an actual car, is chosen and substituted into \( Red(x) \), the predicate becomes astatementabout that particular car, a statement that is either true or false. For exampe. The symbol \( Red( \)Mark's car\( ) \) denotes the statement"Mark's car is red. This is a statement about Mark's car. (It is a false statement.)
Now consider two sets:
Let \( V \) be the set of cars in the Village Bakery parking lot.
Let \( C \) be the set of cars in the Columbus Airport parking lots (all of the lots).
and consider two extistential statements built using those sets as domains and using the earier predicate \( Red(x) \).
Let \( A \) be the statement \( \exists x \in V \left( Red(x) \right) \). Statement \( A \) means"There exists a car in the Village Bakery parking lot that is red."
Let \( B \) be the statement \( \exists x \in C \left( Red(x) \right) \). Statement \( B \) means"There exists a car in the Columbus Airport parking lots that is red."
What are statements \( A \) and \( B \)about? They are really statements about thedomains. That is, statement \( A \) is a statement about the set of cars in the Village Bakery Parking Lot. (At the time of this writing, it was afalsestatement. That is, statement \( B \) is a statement about the set of cars in the Columbus Airport parking lot. (It is safe to say that it is atruestatement.)
Negating Quantified Statements
Negating Universal Statements
Return to an earlier example of a universal statement \( B \):
"Every car in the Morton Hall lot is silver."
The negation of this statement would be the following
"There exists a car in the Morton Hall lot that is not silver."
Notice that the original statement \( B \) is afalsestatement, while its negation is atruestatement. That makes sense.
Expressinging our observations about statement \( B \) in symbols, we have
\( NOT(B) \equiv NOT \left( \forall x \in M (Silver(x)) \right) \equiv \exists x \in M \left(NOT(Silver(x)) \right) \)
Generalizing to other universal statements, we would write
\( NOT \left( \forall x \in D ( P(x) ) \right) \equiv \exists x \in D \left(NOT(P(x)) \right) \)
Notice that thenegation of a universal statementwill be anexistential statement.
Negating Existential Statements
Return to an earlier example of an existential statement \( a \):
"There exists a car in the Morton Hall lot that is silver."
The negation of this statement would be the following
"Every car in the Morton Hall lot is not silver."
Notice that the original statement \( A \) is atruestatement, while its negation is afalsestatement. That makes sense.
Expressing our observations about statement \( A \) in symbols, we have
\( NOT(B) \equiv NOT \left( \exists x \in M (Silver(x)) \right) \equiv \forall x \in M \left(NOT(Silver(x)) \right) \)
Generalizing to other existential statements, we would write
\( NOT \left( \exists x \in D ( P(x) ) \right) \equiv \forall x \in D \left(NOT(P(x)) \right) \)
Notice that thenegation of an existential statementwill be auniversal statement.
V: Quantified Conditional Statements
Introducing Quantified Conditional Statements
Anexistentially quantified conditional statementwould be just what it sounds like: a statement of the following form:
\( \exists x \in D \left( I\!f \; A(x) \; then \; B(x) \right) \)
\( \exists x \in D \left( A(x) \; implies \; B(x) \right) \)
\( \exists x \in D \left( A(x) \rightarrow B(x) \right) \)
Auniversally quantified conditional statementwould be just what it sounds like: a statement of the following form:
\( \forall x \in D \left( I\!f \; A(x) \; then \; B(x) \right) \)
\( \forall x \in D \left( A(x) \; implies \; B(x) \right) \)
\( \forall x \in D \left( A(x) \rightarrow B(x) \right) \)
Negating Quantified Conditional Statements
The simplest way to negate a statement or a predicate is to simply put the statement or predicate in parentheses and put the word \( NOT \) in front. The resulting sentence could be read as"Not statement", or"It is not true that statement."This applies, in particular toquantified conditional statements.
For example
Let \( C \) be the set of cars in the Columbus Airport parking lots (all of the lots).
Let \( x \) be a variable with domain \( C \).
Let \( Toyota(x) \) be the predicate" \( x \) is a Toyota."
Let \( blue(x) \) be the predicate" \( x \) is blue."
Let \( S \) be the statement \( \forall x \in C \left( I\!f \; A(x) \; then \; B(x) \right) \). Statement \( S \) means"For every car in the Columbus Airport parking lots, if the car is a Toyota, then the car is blue."
The simplest way to negate \( S \) would be to write
\( NOT(S) \)
\( NOT \left( \forall x \in C \left( I\!f \; A(x) \; then \; B(x) \right) \right) \)
"It is not true that for every car in the Columbus Airport parking lots, if the car is a Toyota, then the car is blue."
But while that long sentence is technically the the negation of \( S \), the long sentence is rather confusing. What does it really mean to say that that all of that stuff is not true? What does the phraseit is not true thatdo to all of the stuff that follows to its right in the sentence?
When writing sentences using the wordnot, or the phraseit is not true that, clarity is often improved if the sentence can be rewritten with wordnotmoved as far to the right in the sentence as possible. The reason is that then there are not many words to the right of the wordnotin the sentence, so it won't be as hard to figure out what the wordnotdoes to all the stuff that follows to its right in the sentence.
So our goal in writing sentences containing the wordnotwill be to figure out how to rewrite them so that thenotis as far to the right as possible while retaining the same meaning as the original sentence. This goal can be easier to achieve if we convert our sentences to logical notation, and then do the rewriting in logical notation, and then convert the final logical notation to a sentence.
Here is an example of that process at work, using the above example.
Original Sentence:We start with the statement \( NOT(S) \)
in symbols:\( NOT \left( \forall x \in C \left( I\!f \; A(x) \; then \; B(x) \right) \right) \)
in words:"It is not true thatfor every car in the Columbus Airport parking lots, if the car is a Toyota, then the car is blue."
Move theNOTone place to the right: This moves theNOTpast the quantifier, which changes the quantifier from \( \forall \) to \( \exists \)
in symbols:\( \exists x \in C \left( NOT \left( I\!f \; A(x) \; then \; B(x) \right) \right) \)
in words:"There exists a car in the Columbus Airport parking lots such thatit is not true thatif the car is a Toyota, then the car is blue."
Move theNOTfurther to the right: This can only be done by negating the conditional statement. Note that the result will be anANDstatement.
in symbols:\( \exists x \in C \left( A(x) \; AND \; NOT(B(x)) \right) \)
in words:"There exists a car in the Columbus Airport parking lots such that the car is a Toyota and the car isnotblue."
Realize that we have now written three sentences in words that all mean the same thing. They are all \( NOT(S) \). Most people would find the third version to be the easiest to understand.
There is apractical reasonfor wanting to rewrite our sentences in the way just described, so that they are easier to understand. Remember the original statement \( S \)
\( S \) is the statement:"For every car in the Columbus Airport parking lots, if the car is a Toyota, then the car is blue."
We have a sense that \( S \) is not true. How would we prove that \( S \) is not true? We would have to prove that \( NOT(S) \) is true. Now consider the three versions of \( NOT(S) \) that we have seen:
"It is not true thatfor every car in the Columbus Airport parking lots, if the car is a Toyota, then the car is blue."
"There exists a car in the Columbus Airport parking lots such thatit is not true thatif the car is a Toyota, then the car is blue."
"There exists a car in the Columbus Airport parking lots such that the car is a Toyota and the car isnotblue."
All three of these sentences mean the same thing. But the third version makes it easiest to see what we would need to do to prove that \( NOT(S) \) is true: We would need to find an example of a car in the Columbus Airport parking lots such that the car is a Toyota and the car isnotblue.
This same sort of thing will happen in our course. That is, it will happen that we will need to prove a statement that contains the wordnot. It will be be much simpler to figure out how to prove the statement if the statement is written in a form that has the wordnotappearing as far to the right as possible. That is thepractical reasonreferred to above.
In summary, when writing the negation of a logical statement, whether in words or in symbols, we will always strive to rewrite the negation in an equivalent form that has the wordNOTappearing as far to the right as possible.
VI: Proving Statements
Proving Conditional Statements
To prove a statement of the form \( I\!f \; A \; then \; B \), one builds a proof frame as follows:
Proof that \( A \rightarrow B \)
Suppose that \( A \) is true.
Some statement (with some justification)
Some statement (with some justification)
Some statement (with some justification)
Some statement (with some justification)
Therefore, \( B \) is true(with some justification)
End of proof
Disproving Conditional Statements
Todisprovea conditional statement, one must prove that thenegationof the conditional statement istrue. Remember that the negation of the conditional statement \( I\!f \; A \; then \; B \) is not another conditional statement. Rather, the negation is an \( AND \) Statement: \( NOT ( I\!f \; A \; then \; B ) \equiv A \; AND \; NOT(B) \)
Proof that \( NOT(A \rightarrow B) \). That is, Proof that \( A \; AND \; NOT(B) \)
Some statement (with some justification)
Some statement (with some justification)
Some statement (with some justification)
\( A \) is true.(with some justification)
Some statement (with some justification)
Some statement (with some justification)
Some statement (with some justification)
\( B \) is false.(with some justification)
End of proof
Proving Existential Statements
Prove anexistentialstatement by giving an example of an element \( x \) in the domain \( D \) that makes \( P(x) \) true.
Proving Universal Statements
If domain is a \( D \) finite set, then one can check all of the \( x \) in the domain \( D \) to find their corresponding values of \( P(x) \). This is called themethod of exhaustion. For example, consider the universally-quantified statement \( W \):"Every car in the Morton Lot has all its windows up."To prove this statement, one would have to go through the parking lot and check every car.
If domain is a \( D \) an infinite set, then one can't possibly do the method of exhaustion. Must do ageneral proof.
Suppose \( x \) is a generic (unkown) particular element of the domain \( D \).
Show that \( P(x) \) is true.
By theprinciple of generalizing from generic particular example (GFGPE), conclude that \( P(x) \) is true for all \( x \) in \( D \).
(page maintained byMark Barsamian, last updated Jan, 2022)