Logic and truth table Symbols Flashcards
Learn the Symbols of logic and truth tables (15 cards)
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 π
