Shared Flashcard Set

Details

Equivalence Rules
Equivalence Rules
16
Philosophy
Undergraduate 1
03/05/2007
Click here to study/print these flashcards.

Create your own flash cards! Sign up here.

Additional Philosophy Flashcards

 

 

Cards

Term
Double Negation (DN)
 Definition
p :: ~~p
Term
Commutation (Com)
 Definition
(p v q) :: (q v p)
Term
Association (As)
 Definition
(p v (q v r) :: ((p v q) v r)
Term
De Morgan's Laws (DeM)
 Definition
~(p.q) :: (~p v ~q)
Term
Commutation (Com)
 Definition
(p.q) :: (q.p)
Term
Association (As)
 Definition
(p.(q.r)) :: ((p.q).r)
Term
De Morgan's Laws (DeM)
 Definition
~(p v q) :: (~p.~q)
Term
Contraposition (Cont)
 Definition
(p->q) :: (~q->~p)
Term
Exportation (Ex)
 Definition
((p.q)->r) :: (p->(q->r))
Term
Distribution (Dist)
 Definition
(p.(q v r)) :: ((p.q)v(p.r))
Term
Distribution (Dist)
 Definition
(pv(q.r)) :: ((p v q).(p v r))
Term
Redundancy (Re)
 Definition
p :: (p.p)
Term
Redundancy (Re)
 Definition
p :: (p v p)
Term
Material Equivalence (ME)
 Definition
(p<->q) :: ((p->q).(q->p))
Term
Material Equivalence (ME)
 Definition
(p<->q) :: ((p.q)v(~p.~q))
Term
Material Implication (MI)
 Definition
(p->q) :: (~p v q)
Supporting users have an ad free experience!