Hypothetical Syllogism (Full Version)
Hypothetical Syllogism (Full Version)
Hypothetical Syllogism (Full Version)
p
? A syllogism which contains hypothetical propositions as
premises.
pvq
p
~q
J
? TwoTypes of Disjunction
? ralidity of Conditional
1. Modus Ponens (affirm the antecedent in the minor, affirm the
consequent in the conclusion)
V V
V
V V
V V
? ralidity of Disjunction
CONNECTIrE (v, . , ,Ë
a statement connective wherein the truth or falsity of such statement
created by its use would be depending solely on the truth or falsity
of the statement(s) to which it is attached
all lawyers are liars
the class will have an open forum forever hold their silence
Napoleon wins the war France will regain power
they could rule over
Europe
^
? Truth Function ² a truth function that takes one or more
truth-values as its input and returns a single truth-value as its
output (Conjunction, Disjunction, Implication, Equivalence)
? Logical rariables ² the letters which stand for any logical unit
(Q, P, R, S,T...etc)
? Other connectives
if P, Q P hence Q
P implies Q P if Q
P entails Q P since Q
P only if Q P because of Q
P thus Q P for Q
P therefore Q P when Q
? 4. Material Equivalence / Biconditional ² two conditional
statements which have been reversed but involving the same
propositions, conjoined together.
? Expresses an
relationship between each compound
statements
? 1. Conjunction
G G{
T T T
T F F
F T F
F F F
? 2. Disjunction
G G
T T T
T F T
F T T
F F F
? . Negation
G G
T F
F T
1. B
!
" #!
$ ! #
% & # '
? A compound statement is
if it is true
regardless of the truth value of its components
{
T F F
F T F
? pvq
~p
q
? V
V
()*
+,
()+, - ./
()*
- ./
? 3. Modus Ponens (MP) ² affirming the antecedent
p
V
p
V
? p
V
() V
, 2
0
1 )
1 0
1
V
, 1
) 2
0
1 0
1
? Õ. Destructive Dilemma ² the second premise asserts the falsity of at
least one of the consequents. The conclusion which follows via 2 modus
tollens asserts the falsity of atleast one of the antecedents.
? p
V
() V
, 2
0
1 )
1 0
1
2 2
0
1 0
) V
,
1
? Ê. Absorption (Abs) ² p
V V
? 9. Addition (Add)- p
pvq
Today is Thursday.
Ergo, today is Thursday or else I will be wearing my favorite blouse.
? 10. Conjunction ² p
q
p.Q
Cornelia is beautiful.
Cornelia is smart.
Cornelia is beautiful and smart.