Laws of Logic Flashcards
If A and B are disjoint, this means…
A∩B=∅
~(P ^ Q) is equalivent to…
~P v ~Q
~(P v Q) is equalivent to…
~P ^ ~Q
Are P v Q and P ^ Q commutative?
Yes.
Are P ^ (Q ^ R) and P v (Q v R) associative?
Yes.
P v P and P ^ P is equalivent to…
P
P ^ (Q v R) and P v (Q ^ R) are equalivent to…
(P ^ Q) v (P ^ R) and (P v Q) ^ (P v R) respectively.
P v ( P ^ Q) and P ^ (P v Q) are equal to…
P
~(~P) is equal to…
P
If Δ is defined as the symmetric difference operator, then A Δ B is equalivent to…
(A U B) \ (A n B)
or
(A \ B) U (B \ A)
A \ B is equalivent to…
A \ B = {x |x ∈ A ^ x !∈ B}
P → Q, is equalivent to…
~P v Q
or
~(P ^ ~Q)
P ↔ Q is equalivent to…
(P → Q) ∧ (¬P → ¬Q)
or
(~P v Q) ^ (P v ~Q)
A ⊆ B is equalivent to…
∀x(x ∈ A → x ∈ B)
∀x P(x) means…
For all values of x, P(x) is true, or in other words:
P(x) is universally true.
P(x) = U, where U is the universal set.