Across
- 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
Down
- 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.