Logical symbols Flashcards
1
Q
truth value
A
true or false assigned to a statement
2
Q
proposition
A
a sentence that has a true or false truth value assigned to it
3
Q
tautology
A
a proposition that is always true
4
Q
contradiction (logic)
A
a proposition that is always false
5
Q
~P
A
negation, “not P”
6
Q
P ∨ Q
A
disjunction, “P or Q”
7
Q
P ∧ Q
A
conjunction, “P and Q”
8
Q
P => Q
A
“P implies Q”
9
Q
P <= Q
A
“only if P, then Q”
10
Q
P <=> Q
A
biconditional, “if and only if,” if you assume P is true, then Q is true; and if you assume Q is true, then P is true
11
Q
∃
A
existential quantifier, “there exists”
12
Q
∀
A
universal quantifier, “for all”
13
Q
∈
A
“belongs to”
14
Q
converse of P => Q
A
Q => P
15
Q
contrapositive of P => Q
A
~Q => ~P
