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
- 10 Replacement Rules

Chris M.

**Double Negation**

Permits introduction and elimination of pairs of tildes

p : : ~~p

Permits introduction and elimination of pairs of tildes

**Double Negation**

p : : ~~p

Advertisement
)

Permits introduction and elimination of redundant disjuncts and conjuncts

p : : p v p

p : : p * p

Permits introduction and elimination of redundant disjuncts and conjuncts

**Duplication**

p : : p v p

p : : p *p

Permits inverting of conjuncts, disjuncts

p v q : : q v p

p * q : : q * p

Permits inverting of conjunctions, disjunctions

**Commutation**

p v q : : q v p

p * q : : q * p

Permits regrouping of iterated disjuntions or conjuncts

p v (q v r) : : (p v q) v r

p * (q * r) : : (p * q) * r

Permits regrouping of iterated disjunctions or conjuntions

**Association**

p v (q v r) : : (p v q) v r

p * (q * r) : : (p * q) * r

Permits inverting of conditionals, with appropriate negation changes

p [horseshoe] q : : ~q [horseshoe] ~p

Permits inverting of conditionals, with appropriate negation changes

**Contraposition**

p [horseshoe] q : : ~q [horseshoe] ~p

Permits distribution of negation across disjunctions and conjunctions used extensively

~(p v q) : : ~p * ~q

~(p * q) : : ~p v ~ q

Peion of negation across disjuntions and conjunctions used extensively

De Morgan's

~(p v q) : : ~p * ~q

~(p * q) : : ~p v ~q

Permits introduction and elimination of triple bar

p [tb] q : : (p [hs] q) * (q [hs] p)

Permits introduction and elimination of triple bar

**Biconditional Exchange**

p [tb] q : : (p [hs] q) * (q [hs] p)

Permits exchange of conditional and disjuntion

p [hs] q : : ~p v q

Advertisement

Permits exchange of conditional an disjunction

**Conditional Exchange**

p [hs] q : : ~p v q

Permits changing of major operator from* tov and vice versa

p * (q v r) : : (p * q) v (p * r)

p v (q * r) : : (p v q) * (p v r)

Permits changing of major operator from * to v an dvice versa

**Distribution**

p * (q v r) : : (p * q) v (p * r)

p [hs] (q [hs] r) : : (p * q) [hs] r

"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