logic_final
logic_final
All A are B. There are A that are not B. All poets are writers.
There are no poets that are not writers.
Some A are B. There exist at least one A Some people are bigots.
that is a B At least one person is a bigot.
Some A are Not all A are B. Some students do not work hard.
not B. Not all students work hard.
In general , the negation of “ All A are B
“ is “ Some A are not B.” Likewise , the
negation of “ Some A are not B “ is All A are B
.”
Now let’s investigate how to negate a
statement with the word some . Consider the
statement “ Some canaries weigh 50
pounds.” Because some means “ there exist
at least one ,” the negation is “ it is not true
that there is at least one canary that weighs
50 pounds.” Because it is not true that there
is even one such critter , we can express the
negation as “ No canary weighs 50 pounds.”
In general , the negation of “ Some A are B “
is “ No A are B.” Likewise , the negation of “ No A
are B “ is Some A are B .“
Statement Negation Example ( A Quantified
Statement and Its
Negation )
All A are B. Some A are not B. All people take exams
honestly.
The negation is
Some people do not take
exams honestly.
Some A are B No A are B. Some roads are open.
The negation is
No roads are open.
If you’re wealthy or well educated , then
you’ll be happy.
We can break this statement down into three basic
sentences.
You’re wealthy . You’re well educated . You’ll
be happy.
These sentences are called simple statements
because each conveys one idea with no connecting
words. Statements formed by combining two or
more simple statements are called compound
statements . Words called connectives are used to
join simple statements to form a compound
statements . Connectives include words such as
and , or , if . . . then , and if and only if .
And Statement
If p and q represents two simple
statements , then the compound
statements “ p and q” is symbolized
by The compound statement
formed by connecting statements
with the word and is called
conjunction . The symbol for and is .
Example : Translating from English to Symbolic
Form.
Let p and q represents the following simple
statements.
p: It is after 5 pm.
q: They are working.
Write each compound statement below in symbolic
form.
a. It is after 5 pm and they are working.
b. It is after 5 pm and they are not working.
Solution:
a. It is after 5 pm and they are working.
Disjunction p or q .
( Conditional
) Biconditional
( Biconditional
( Conditional
T F
The negation of a false statement is true. This
,too, can be shown in a table.
p
F T
Combining the two tables results is
called the truth table for negation. This truth
table expresses the idea that has the
opposite truth value from p .
p
T F
F T
Conjunction ,
A friend tells you “ I visited London and I visited
Paris .” In order to understand the truth values for
this statement, let’s break it down into its two
simple statements:
p : I visited London.
q : I visited Paris .
There are four possible cases to consider.
CASE 1 :
Your friend actually visited both cities , so p is true
and q is true. The conjunction “ I visited London
and I visited Paris “ is true because your friend did
both things . If both p and q are true , the
conjunction is true. We can show this in truth table
form.
p
q
T T
T
CASE 2 :
Your friend actually visited London , but did
not tell the truth about visiting Paris . In this
case , p is true and q is false . Your friend
didn’t do what was stated namely visit both
cities , so is true . We can show this in truth
table form:
p
q
T F
F
CASE 3 :
This time , London was not visited , but Paris
was . This makes p false and q true. As in case 2
, your friend didn’t do what was stated , namely
visited both cities , so is false . If p is false and
q is true , the conjunction is false.
p
q
F F
T
CASE 4 :
This time your friend visited neither city , so p
is false and q is false. The statement that both
were visited , , is false.
p
q
F F F
Let’s use a truth table to summarize all the four
cases. Only in the case that your friend visited
London and Paris is the conjunction true. Each of
the four cases appears in the truth table for
conjunction.
p
Definition of conjunction.
q
T T T
T F F
F T F
F F F
p
q
T T
T
T T
F
F T
T
F F
A disjunction
F is false only when both
component statements are false.
Example ;
p
q
T T T
T F F
F T F
F F F
Step 3 . Construct on more column for . Fill in this
column by negation the values in the column. Using
the negation definition , take the opposite of the truth
table values in third column. This completes the truth
table for .
p
q
T T F
T
T F T
F
The final columnFin the truth
F table Tfor tells us that
the statement isT false only when both are true.
F F T
F
Example :
p : Harvard is a College ( true ) .
q : Yale is a College ( true ).
the statement translate as
It is not true that Harvard and Yale are
colleges.
This compound statement is false. It is true that
Harvard and Yale are colleges
Construct a truth table for to determine when statement
is true and when the statement is false.
Solution : Without parentheses , the negation symbol ,
negates only the statement that immediately follows it.
Therefore , we first determine the truth values for and .
Then we determine the truth values for the or
disjunction , .
Step 1. List the simple statements on top and show the
four possible cases.
p
q
T T
T F
F T
F F
Make column for and . Fill column by looking back
at the column , the first column , and taking the
opposite of the truth values in that column . Fill in
the column by taking the opposite of the truth
values in the second column , the q column.
p
q
T F F
T
T F F T
F T T F
F T T
F
Step 3. Construct one more column for . To
determine the truth values of , look back at the
column , labeled column 3 below , and column ,
labeled column 4 below. Now use the disjunction
definition on the entries in column 3 and column 4.
Disjunction definition : An or statement is false
only when both component statement are false.
This occurs on
p in the first row.
q
T F F F
T
T F T T
F
F T F T
T
F T T T
F
Column 3 Column 4
is false.
Construct a truth table for
To determine when the statement is true and when the
statement is false.
Solution : The statement is an and conjunction because the
conjunction symbol , , is outside the parentheses . We
cannot determine the truth values for the statement until
we first determine the truth value for , the component
statements before and after the connective.
Step 1 . The compound statement involves two simple
statements and four possible cases.
Step 2. Because we need a column with truth for , begin
with . Use as the heading . Fill the column by looking back
at the p column , labeled column 1 below , and take the
opposite of the truth values in that column.
Step 3.
Now add column . To determine the truth values of ,
look back at the , labeled column 3 below , and the q
column , labeled column 2 below. Now , use the
disjunction definition on the entries in the column 3
and 2 . Disjunction definition. An or statement is
false only when both component statements are false.
This occurs only in the second row.
Step 4 .
The statement following the connectives is so add a
column . Fill in the column by looking at the q column
2 , and take the opposite of the truth values in that
column.
Step 5 .
The final column heading is , which is our given
statement . To determine its truth values , look
back at the column , labeled column 4 below, and
the column , labeled column 5 below. Now use the
conjunction definition on the entries in column 4
and 5 . Conjunction definition : An and statement is
true only when both component statements is true.
This occurs only in the last row.
p q
T T F T F F
T F F F T F
F T T T F F
F F T T T T
Column 4 Column 5
The truth table is now complete . By looking at the
truth values in the last column , we can see that the
compound statement