A Little Categorical/ Propositional Logic: Chapter 9 and 10
A Little Categorical/ Propositional Logic: Chapter 9 and 10
A Little Categorical/ Propositional Logic: Chapter 9 and 10
Chapter 9 and 10
A LITTLE
CATEGORICAL/
PROPOSITIONAL
LOGIC
VALIDIT
Y
A valid deductive argument is an
argument in which it is impossible for all
premises to be true and the conclusion
false.
Deductive argument
vali invali
d d
Soun Unsoun
d d
• Inductive argument
stron wea
g k
Cogen Uncogent
t
CATEGORICAL
LOGIC
VENN DIAGRAMS
Categorical statements
• A categorical statement makes a claim about the
relationship between two or more categories or
classes of things.
•
X X
- No P are S
- S are not P
- Not one who is an S is a P
- All S are not P
• Common stylistic variants of “ Some S are P”
Many S are P; a few S a P; Some P are S
• Common stylistic variants of “ Some S are not P”
A few S are not P, Not all S are P
Categorical
Syllogisms
•
A syllogism is a three line deductive arguments that
consists of two premises and a conclusion. (All
statement are categorical statements)
EX: No islands are part of the mainland and Hawaii
is an island. Therefore, Hawaii is not on the
mainland.
All CD are
S All C are
CD All C
are S S
C
Venn Diagram
C S
Venn Diagram
C
D
All CD are
S All C are
CD All C
are S
C S
All CD are
S All C are
CD All C
are S
All E are R E
Some B are not
E Some B are
not R
Draw premise 1: All E are
R
All E are inside R, so we B R
know that the rest of E is
empty. We represent this
empty area by shading it.
Venn Diagram - Example
All E are R E
Some B are not X
E Some B are
not R
Draw the second
premise.
X X
“some” as “at least one” and
represent it with an “X.” So B R
we want to put an X inside
the B circle but outside of the
E circle.
We want to say exactly what the premises say, but no
more.
All E are
Venn Diagram - R
Some B are not
Example E Some B are
not R
E
E
X X X
? ?
B R
B R
B R