Home > Flashcards > Philosophy > Equivalence Rules

Details Title: Equivalence Rules Description: Equivalence Rules Total Flash Cards: 16 Created: 03/05/2007 18:13:19	To study from this set of flash cards, or to create your own your own study flash cards, register HERE. If you are already a registered user, CLICK HERE.
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)