Logic Symbols Flashcards
1
Q
p v q
A
disjunction “either p is true, or q is true, or both”
2
Q
p
A
p is true
3
Q
~p
A
p is false
4
Q
p·q
A
conjunction “both p and q are true”
5
Q
p⊃q
A
implication “if p is true, then q is true”
6
Q
p≡q
A
equivalence “p and q are either both true or both false”
7
Q
~
A
not
8
Q
∴
A
therefore
