INTERMEDIATE LOGIC Lessons 1-5

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