Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
23 Cards in this Set
- Front
- Back
Idempotence
|
p ∨ p ≡ p
p ∧ p ≡ p |
|
excluded middle
|
p ∨ ¬ p ≡ T
p ∧ ¬ p ≡ F |
|
identity
|
p ∨ F ≡ p
p ∧ T ≡ p |
|
strictnes
|
p ∨ T ≡ T
p ∧ F ≡ F |
|
associativity
|
(p ∨ q) ∨ r ≡ (p ∨ q) ∨ r
(p ∧ q) ∨ r ≡ (p ∧ q) ∨ r |
|
commutativity
|
p ∨ q ≡ q ∨ p
p ∧ q ≡ q ∧ p |
|
ditributivity
|
p ∨ ( q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
p ∧ ( q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) |
|
de Morgan
|
¬(p∨q)≡(¬p)∧(¬q)
¬(p∧q)≡(¬p)∨(¬q) |
|
p xor q
in ands, nots and ors |
p xor q ≡ (p∨q)∧(¬p∧q)
|
|
negated and, and equivelant in "basic" connectives
|
p↑q ≡ ¬(p ∧ q)
|
|
negated or, and equivelant in "basic" connectives
|
p↓q ≡ ¬(p ∨ q)
|
|
¬p in negated form
|
¬p ≡ p↑p
|
|
p ∨ q in nots and negated
|
p∨q ≡ ¬p↑¬q
|
|
p ⇒ q
in nots and negated |
¬p ∨ q
|
|
state in terms of implication:
normal, converse, inverse contrapositive |
p ⇒ q
q ⇒ r ¬p ⇒ ¬q ¬q ⇒ ¬r |
|
which is true:
original = contrapoistive original = covnerse converse = contrapositive converse = inverse |
T
F F T |
|
iff, in implys
|
p ⇒ q ∧ q ⇒ r
|
|
∃x,p(x) ≡ de morgan
|
¬(∃x,p(x)) ≡ ∀x, ¬ p(x)
|
|
∀x,p(x) ≡ demorgan
|
¬(∀x,p(x)) ≡ ∃x, ¬ p(x)
|
|
values of A and E, where they are restricted by a type r(x).. write this logically
|
∀x,r(x) ⇒ p(x)
∃x, r(x) ∧ p(x) |
|
∀x,r(x) ⇒ p(x)
apply de morgans law |
¬(∃x, r(x) ∧ p(x)) ≡ ∀x,r(x) ⇒ ¬p(x)
|
|
∃x, r(x) ∧ p(x)
apply de morgans law |
¬(∀x,r(x) ⇒ p(x)) ≡ ∃x, r(x) ∧ ¬p(x)
|
|
∃y,∃x ≡ ∃x,∃y
∀y,∀x, ≡ ∀x,∀y, ∀y,∃x ≡ ∀x,∃y Which is true |
T
T F |