# Eight basic Inference rules

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

**Created:**2009-03-19

**Last Modified:**2011-06-24

#### Related Textbooks:

Understanding Symbolic Logic (5th Edition)Modus Ponendo Ponens

p

____________

/therefore q

Modus Tollendo tollens

~q

____________

/therefore ~p

q [horseshoe]r

_____________

/therefore p [horseshoe] r

____

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

q

_______

/ therefore p * q

~p

_____

/therefore q

p v q

~q

_____

/therefore p

_____

/therefore p v q

q

_____

/therefore p v q

r [horseshoe] s

p v r

_____________

/therefore q v s

p [horseshoe] q

p

____________

/therefore q

p [horseshoe] q

~q

____________

/therefore ~p

p [horseshoe] q

q [horseshoe]r

_____________

/therefore p [horseshoe] r

p * q

____

/therefore p

p*q

___

/therefore q

p

q

_______

/ therefore p * q

p v q

~p

_____

/therefore q

p

_____

/therefore p v q

q

_____

/therefore p v q

p [horseshoe] q

r [horseshoe] s

p v r

_____________

/therefore q v s

#### Words From Our Students

"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