CSCE 222 Chapter 1.5

« previous | Sunday, February 20, 2011 | next »

Rules of Inference

argument

a sequence of statements (premises) followed by a conclusion

valid

the conclusion (final statement of the argument) must follow from the truth of the premises

premises

any of the preceding statements of an argument

fallacies

logic errors and incorrect reasoningwithin an argument

Rule	Tautology	Name
${\begin{array}{l}p\\p\rightarrow q\\\hline \therefore q\end{array}}$	$[p\wedge (p\rightarrow q)]\rightarrow q$	Modus ponens
${\begin{array}{l}\neg q\\p\rightarrow q\\\hline \therefore \neg p\end{array}}$	$[\neg q\wedge (p\rightarrow q)]\rightarrow \neg p$	Modus tollens
${\begin{array}{l}p\rightarrow q\\q\rightarrow r\\\hline \therefore p\rightarrow r\end{array}}$	$[(p\rightarrow q)\wedge (q\rightarrow r)]\rightarrow (p\rightarrow r)$	Hypothetical syllogism
${\begin{array}{l}p\vee q\\\neg p\\\hline \therefore q\end{array}}$	$[(p\vee q)\wedge \neg p]\rightarrow q$	Disjunctive syllogism
${\begin{array}{l}p\\\hline \therefore p\vee q\end{array}}$	$p\rightarrow (p\vee q)$	Addition
${\begin{array}{l}p\wedge q\\\hline \therefore p\end{array}}$	$(p\wedge q)\rightarrow p$	Simplification
${\begin{array}{l}p\\q\\\hline \therefore p\wedge q\end{array}}$	$[(p)\wedge (q)]\rightarrow (p\wedge q)$	Conjunction
${\begin{array}{l}p\vee q\\\neg p\vee r\\\hline \therefore q\vee r\end{array}}$	$[(p\vee q)\wedge (p\vee r)]\rightarrow (q\vee r)$	Resolution
Rules of Inference for Quantified Statements
${\begin{array}{l}\forall xP(x)\\\hline \therefore P(c)\end{array}}$		Universal instantiation
${\begin{array}{l}P(c)\ {\mbox{for an arbitrary}}\ c\\\hline \therefore \forall xP(x)\end{array}}$		Universal generalization
${\begin{array}{l}\exists xP(x)\\\hline \therefore P(c)\ {\mbox{for some element}}\ c\end{array}}$		Existential instantiation
${\begin{array}{l}P(c)\ {\mbox{for some element}}\ c\\\hline \therefore \exists xP(x)\end{array}}$		Existential generalization

Common fallacies

1. Fallacy of affirming the conclusion

   ${\begin{array}{l}p\rightarrow q\\q\\\hline \therefore p\end{array}}$

2. Fallacy of denying the hypothesis

   ${\begin{array}{l}p\rightarrow q\\\neg p\\\hline \therefore \neg q\end{array}}$