Get started today!

Good to have you back!
If you've signed in to StudyBlue with Facebook in the past, please do that again.

- 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

"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

Advertisement

"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

"StudyBlue is great for studying. I love the study guides, flashcards and quizzes. So extremely helpful for all of my classes!"

Alice , Arizona State University"I'm a student using StudyBlue, and I can 100% say that it helps me so much. Study materials for almost every subject in school are available in StudyBlue. It is so helpful for my education!"

Tim , University of Florida"StudyBlue provides way more features than other studying apps, and thus allows me to learn very quickly!Â I actually feel much more comfortable taking my exams after I study with this app. It's amazing!"

Jennifer , Rutgers University"I love flashcards but carrying around physical flashcards is cumbersome and simply outdated. StudyBlue is exactly what I was looking for!"

Justin , LSU