Logic Symbols

2. is a Horizontal line
3. used before a logical consequence, such as the conclusion of a syllogism
4. mark to multiply by decreasing positive integers.
7. relationship between different propositions where the second proposition is a logical consequence of the first.
9. it's used to denote a small quantity, like an error, or perhaps a term which will be taken to zero in some limit.
11. Caret The symbol for “or”
13. means "approximately" and in logic it means "not."
14. is intended to show an argument to be valid

1. exists to express the existence of a variable
2. The inverted form of the therefore sign ( ∴ ) used in proofs before logical consequences
5. is an operation that takes a proposition to another proposition "not ", standing for " is not true", written , or .
6. The (&) can replace the reserved value *AND.
8. is the truth-functional operator of conjunction or logical conjunction.
10. line a line parallel to the Y-axis
12. all is called a universal quantifier and is denoted by ∀x.