Proof Flashcards
(40 cards)
Converse
P=>Q is Q=>P
P=>Q is Q=>P
Converse
Contrapositive
P=>Q is (~Q)=>(~P)
P=>Q is (~Q)=>(~P)
Contrapositive
DeMorgan’s Law [~(P^Q)]
[~(P^Q)<=>(~P v ~Q)]
(~P v ~Q)] <=>
DeMorgan’s Law [~(P^Q)]
DeMorgan’s Law [~(PvQ)]
[~(PvQ) <=> (~P ^ ~Q)
(~P ^ ~Q) <=>
DeMorgan’s Law [~(PvQ)]
P => Q equal to
~P v Q
~P v Q equal to
P => Q
P <=> Q equal to
(P => Q) ^ (Q => P)
(P => Q) ^ (Q => P) equal to
P <=> Q
~( P => Q) equal to
(P ^ ~Q)
(P ^ ~Q) equal to
~( P => Q)
~(P ^ Q) equal to
P => ~Q and Q => ~ P
P => ~Q and Q => ~ P —equal to
~(P ^ Q)
P =>(Q => R) equal to
(P^Q) => R
(P^Q) => R —equal to
P =>(Q => R)
P =>(Q ^ R) equal to
(P=>Q) ^ (P=>R)
(P=>Q) ^ (P=>R) – equal to
P =>(Q ^ R)
(P v Q) => R equal to
(P=>R) ^ (Q=>R)
(P=>R) ^ (Q=>R) equal to
(P v Q) => R
A − B = {x: x ∈ A and x ∉ B}.
For x, such that X is within A and not within B
For x, such that X is within A and not within B
A − B = {x: x ∈ A and x ∉ B}.