Details

Title: Equivalence Rules

Description: Equivalence Rules

Total Flash Cards: 16

Created: 03/05/2007 18:13:19

New Users: To study from this flashcard set, or to create your own your own study flash cards, REGISTER HERE.

Existing Users: CLICK HERE.

Additional Philosophy Flashcards

Cards in this set:

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)