Eight basic Inference rules

Philosophy 211 with Tierney at University of Wisconsin - Milwaukee

About this deck

By: Chris Murphy
Textbook:

Understanding Symbolic Logic (5th Edition)
Created: 2009-03-19
Size: 16 flashcards
Views: 38

About StudyBlue

STUDYBLUE makes things that make you better at school. Things like online flashcards with photos and audio. Things like personalized quizzes and friendly reminders about when (and what) to study next. Think of it as a digital backpack™: access to all of your study materials online and on your phone. STUDYBLUE exists to make studying efficient and effective for every student, for free. Join us.

“Simply amazing. The flash cards are smooth, there are many different types of studying tools, and there is a great search engine. I praise you on the awesomeness.”
Dennis

Sign up (free) to study this.

Modus Ponens M.P.
Modus Ponendo Ponens

p [horseshoe] q
p
____________
/therefore q

Modus Tollens M.T.
Modus Tollendo tollens

p [horseshoe] q
~q
____________
/therefore ~p

Hypothetical Syllogism H.S.

p [horseshoe] q
q [horseshoe]r
_____________
/therefore p [horseshoe] r

Simplification Simp.

p * q
____
/therefore p

p*q
___
/therefore q

Normal
0

false
false
false

MicrosoftInternetExplorer4

p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-parent:"";
margin:0in;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Times New Roman";
mso-fareast-font-family:"Times New Roman";}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.25in 1.0in 1.25in;
mso-header-margin:.5in;
mso-footer-margin:.5in;
mso-paper-source:0;}
div.Section1
{page:Section1;}
-->

table.MsoNormalTable
{mso-style-name:"Table Normal";
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-parent:"";
mso-padding-alt:0in 5.4pt 0in 5.4pt;
mso-para-margin:0in;
mso-para-margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:10.0pt;
font-family:"Times New Roman";
mso-ansi-language:#0400;
mso-fareast-language:#0400;
mso-bidi-language:#0400;}

Normal
0

false
false
false

MicrosoftInternetExplorer4

p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-parent:"";
margin:0in;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Times New Roman";
mso-fareast-font-family:"Times New Roman";}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.25in 1.0in 1.25in;
mso-header-margin:.5in;
mso-footer-margin:.5in;
mso-paper-source:0;}
div.Section1
{page:Section1;}
-->

table.MsoNormalTable
{mso-style-name:"Table Normal";
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-parent:"";
mso-padding-alt:0in 5.4pt 0in 5.4pt;
mso-para-margin:0in;
mso-para-margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:10.0pt;
font-family:"Times New Roman";
mso-ansi-language:#0400;
mso-fareast-language:#0400;
mso-bidi-language:#0400;}

Conjunction Conj.

p
q
_______
/ therefore p * q

Disjunctive Syllogism D.S.

p v q
~p
_____
/therefore q

p v q
~q
_____
/therefore p

Addition Add.

p
_____
/therefore p v q

q
_____
/therefore p v q

Dilemma Rule Dil.

p [horseshoe] q
r [horseshoe] s
p v r
_____________
/therefore q v s

"Given a conditional and the antecedent of that conditional, you are permitted to infer the consequent of the conditional"

Modus Ponens M.P.

p [horseshoe] q
p
____________
/therefore q

"Given a conditional and the negation of the consequent of the conditional, you are permitted to infer the negation of the antecedent of that conditional"

Modus Tollens M.T.

p [horseshoe] q
~q
____________
/therefore ~p

"Given two conditionals in which the consequent of the first is identical to the antecedent of the second, you may infer the conditional whose antecedent is the antecedent of he first and whose consequent is the consequent of the second"

Hypothetical Syllogism H.S.

p [horseshoe] q
q [horseshoe]r
_____________
/therefore p [horseshoe] r

"From a conjunction as premise, we may infer either of the conjuncts separately as a conclusion"

Simplification Simp.

p * q
____
/therefore p

p*q
___
/therefore q

"Given any two statements, we may infer their conjunction"

Conjuntion Conj.

p
q
_______
/ therefore p * q

"Given a disjunction and the negation of one of the disjuncts, you may infer the other disjunct"

Disjunctive Syllogism D.S.

p v q
~p
_____
/therefore q

"Given any statement, you may infer any disjunction that includes that statement as one of the disjuncts"

Addition Add.

p
_____
/therefore p v q

q
_____
/therefore p v q

"Given two conditionals and the disjunction of the antecedents of those conditionals, we may infer the disjunction of the consequences of the conditionals"

Dilemma Dil.

p [horseshoe] q
r [horseshoe] s
p v r
_____________
/therefore q v s

About this deck

By: Chris Murphy
Textbook:

Understanding Symbolic Logic (5th Edition)
Created: 2009-03-19
Size: 16 flashcards
Views: 38

About StudyBlue

“Simply amazing. The flash cards are smooth, there are many different types of studying tools, and there is a great search engine. I praise you on the awesomeness.”
Dennis