ch 6: logical connectives Flashcards
1
Q
¬
A
Negation (not)
2
Q
A
A
Disjunction (or)
2
Q
N
A
2
Q
∼
A
Negation (not)
3
Q
∧
A
3
Q
∨
A
Disjunction (or)
3
Q
K
A
Conjunction (and)
3
Q
&
A
4
Q
→
A
Implication (if…then)
4
Q
⇒
A
Implication (if…then)
4
Q
⊃
A
Implication (if…then)
5
Q
C
A
Implication (if…then)
6
Q
⊂⊃
A
Equivalence (if and only if)
7
Q
←→
A
Equivalence (if and only if)
8
Q
⇔
A
Equivalence (if and only if)
9
Q
=
A
Equivalence (if and only if)
