- StudyBlue
- Wisconsin
- University of Wisconsin - Milwaukee
- Philosophy
- Philosophy 211
- Tierney
- Eight basic Inference rules

Chris M.

Modus Ponens M.P.

Modus Ponendo Ponens

Modus Ponendo Ponens

p [horseshoe] q

p

____________

/therefore q

p

____________

/therefore q

Modus Tollens M.T.

Modus Tollendo tollens

Modus Tollendo tollens

p [horseshoe] q

~q

____________

/therefore ~p

~q

____________

/therefore ~p

Advertisement

Hypothetical Syllogism H.S.

p [horseshoe] q

q [horseshoe]r

_____________

/therefore p [horseshoe] r

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;}

____

/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

q

_______

/ therefore p * q

Disjunctive Syllogism D.S.

p v q

~p

_____

/therefore q

p v q

~q

_____

/therefore p

~p

_____

/therefore q

p v q

~q

_____

/therefore p

Addition Add.

p

_____

/therefore p v q

q

_____

/therefore p v q

_____

/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

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

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

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

p [horseshoe] q

q [horseshoe]r

_____________

/therefore p [horseshoe] r

Advertisement

"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

p * q

____

/therefore p

p*q

___

/therefore q

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

Conjuntion Conj.

p

q

_______

/ therefore p * q

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

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

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

p [horseshoe] q

r [horseshoe] s

p v r

_____________

/therefore q v s

Want to see the other 16 Flashcards in Eight basic Inference rules?
JOIN TODAY FOR FREE!

"The semester I found StudyBlue, I went from a 2.8 to a 3.8, and graduated with honors!"

Jennifer Colorado School of Mines
StudyBlue is not sponsored or endorsed by any college, university, or instructor.

© 2015 StudyBlue Inc. All rights reserved.

© 2015 StudyBlue Inc. All rights reserved.