Across
- 2. Drawing proper conclusions from other information.
- 4. A branch of formal, deductive logic in which the basic unit of thought is the proposition.
- 7. Words(represented by symbols) that combine or modify simple propositions to make compound propositions.
- 9. The condition, the part following the "if".
- 12. 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.
- 13. A logical operator that joins two propositions and is true if and only if one or both the propositions (disjuncts) is true.
- 15. A disjunction that is true when the one disjunct or the other is true, or both are true.
- 17. A set of statements, one of which appears to be implied or supported by the others.
- 19. A listing of the possible truth values for a set of one or more propositions.
- 20. An uppercase letter that represents a single, given proposition.
Down
- 1. True when both component propositions have the same truth value, and is false when their truth values differ.
- 3. A proposition with one component part.
- 5. A statement.
- 6. A proposition when its truth value depends upon the truth values of its component parts.
- 8. A lowercase letter that represents any proposition.
- 10. A disjunction that is true when either one or the other disjunct - but not both - is true
- 11. A logical operator that joins two propositions and is true if and only if both the propositions are true.
- 14. The result of the condition, the part after the "then".
- 16. A proposition that has more than one component part or is modified in some other way.
- 18. The logical operator that denies or contradicts a proposition.