Across
- 2. An uppercase letter that represents a single, given proposition.
- 4. A proposition with more than one component part.
- 6. A logical operator that is true when both component propositions have the same truth value, and is false when their truth values differ. ("If and only if")
- 7. A proposition with only one component part.
- 8. A branch of formal, deductive logic, in which the basic unit of thought is the proposition.
- 11. A logical operator that joins two propositions and is true if and only if both the propositions are true. (and)
- 12. A listing of the possible truth values for a set of one or more propositions.
- 13. A logical operator that asserts that one component (the antecedent) implies the other (the consequent). It is false if and only if the antecedent is true and the consequent is false.
- 14. A statement.
- 15. This displays the truth values produced by a logical operator modifying a minimum number of variables.
Down
- 1. A logical operator that joins two propositions and is true if and only if one or both of the propositions is true. (or)
- 3. A proposition is _____ when its truth value depends upon the truth values of its component parts.
- 5. A lowercase letter that represents any proposition.
- 9. Words that combine or modify simple propositions to make compound propositions.
- 10. The logical operator that denies or contradicts a proposition.
