Logic
Philosophy
Abstraction
Logical connectives
Atomic sentence
Propositional calculus
Logical truth
Truth function
Truth value
Logical disjunction
If and only if
Negation