Logic

10 cards·by megaladon

De Morgans Rule (DM)

-(p*q):: (-pv-q); -(pvq):: (-p*-q)

Communtativity

(pvq)::(qvp); (p*q)::(q*p)

Associativity (Assoc)

[pv(qvr)]::[(pvq)vr]; [p*(q*r)]:: [(p*q)*r]

Distribution (Dist)

[p*(qvr)]::[(p*q)v(p*r)]; [pv(q*r)]:: [(pvq)*(pvr)]

Double Negation (DN)

P:: --P

Transposition (Trans)

(p U q):: (-q U -p)

Material Implication (Impl)

(p U q) :: (-pvq)

Material Equivalence (Equiv)

(p iff q):: [p U q)*(q U p)]; (p iff q):: [(p*q) v (-p*-q)]

Exportation (Exp)

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

Tautology (Taut)

p:: (pvp); p::(p*p)