Professional Documents
Culture Documents
if p then q * * if p then q
p p
------------ ------------
q q
if p then q if p then q
p * *p
------------ ------------
q q
if p then q if p then q
not-q * * not-q
------------ ------------
not-p not-p
if p then q * * if p then q
not-q not-q
------------ ------------
not-p not-p
Logical Form or Argument Type: If you have: Add:
(* indicates suppressed
(3) Hypothetical Syllogism premiss)
if p then q if p then q
if q then r * * if q then r
------------ ------------
if p then r if p then r
if p then q * * if p then q
if q then r if q then r
------------ ------------
if p then r if p then r
p or q p or q p or q p or q
not-p not-q * * * not-p * not-q
------------ ------------ -------- --------
q p q p
p or q p or q * * * p or q * p or q
not-p not-q not-p not-q
------------ ------------ -------- --------
q p q p
(5) Dilemma
p or q p or q * * * p or q * p or q
if p then r if p then r if p then r if p then r
if q then s if q then r if q then s if q then r
------------ ------------ ------------
r or s r ------------r or s
r
p or q p or q
if p then r if p then r p or q p or q * if p then r * if p then
if q then s if q then r * * r
------------ ------------ if q then s if q then r
r or s r ------------
------------r or s
r
2
Source:
Austen Clark, Philosophy and Logic: A Self-Paced Course, Fifth Edition, Unit 4, “Analyzing Inferences”.