LOGIC SYMBOL

2. - Denotes syntactic entailment; indicates that a statement can be derived from a set of axioms.
4. - Represents a statement that is always true.
7. - Used to denote a conclusion derived from premises.
10. – Set of elements common to two sets.
11. – Set of elements belonging to at least one of two sets
12. – Another notation for logical implication.
13. - It is not the case that

1. - If the first is true, then the second is true. NATURALS – Symbol for the set of natural numbers.
3. - At least one is true
4. – Always true proposition.
5. – Symbol for the set of integers.
6. - Both are true
8. – Semantic entailment; a formula logically follows from another.
9. - Represents a statement that is always false.