Logic and truth table Symbols Flashcards
Learn the Symbols of logic and truth tables
1
Q
¬𝑝
A
Negation of 𝑝
2
Q
𝑝 ˄ 𝑞
A
Conjunction of 𝑝 and 𝑞
3
Q
𝑝 ˅ 𝑞
A
Disjunction of 𝑝 and 𝑞
4
Q
𝑝 ⊕ 𝑞
A
Exclusive or of 𝑝 and 𝑞
5
Q
𝑝 → 𝑞
A
The implication 𝑝 implies 𝑞
6
Q
𝑝 ↔ 𝑞
A
Biconditional of 𝑝 and 𝑞
7
Q
𝑝 ≡ 𝑞
A
Equivalence of 𝑝 and 𝑞
8
Q
T
A
Tautology
9
Q
F
A
Contradiction
10
Q
𝑃(𝑥1,…,𝑥𝑛)
A
Propositional function
11
Q
AxP(x)
A
Universal quantification of 𝑃 (𝑥) - ALL
12
Q
ExP(x)
A
Existential quantification of 𝑃 (𝑥) - Some
13
Q
E! 𝑥𝑃(𝑥)
A
Uniqueness quantification of 𝑃(𝑥)
14
Q
three triangle dots
A
Therefore
15
Q
𝑝 {𝑆} 𝑞
A
Partial correctness of 𝑆
