- 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

Advertisement

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

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

"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.