LOGIC Flashcards
1
Q
and
A
conjunction (^)
2
Q
or
A
disjunction (v)
3
Q
no
A
negation (~)
4
Q
if p, then q
A
conditional / implication (->)
5
Q
if and only if
A
biconditional (<->)
6
Q
p exclusive or q
A
exclusive-or (O + cross)
7
Q
true for all possible combinations of truth values
A
tautology
8
Q
false for all possible combinations of truth values
A
contradiction
9
Q
compound statement that can either be true or false
A
contingency
10
Q
p v q = q ^ p
p v q = q v p
A
commutative
11
Q
p ^ (q ^ r) = (p ^ q) ^ r
p v (q v r) = (p v q) v r
A
associative
12
Q
p ^ (q v r) = (p ^ q) v (p ^ r)
p v (q ^ r) = (p v q) ^ (p v r)
A
distributive
13
Q
p ^ t = p
p v F = p
A
identity
14
Q
p ^ ~p = F
p v ~p = t
A
inverse
15
Q
~ (~p) = p
A
double negation
