Interm Logic 1-7 vocab

123456789101112131415161718
Across
  1. 2. an argument in which the conclusion necessarily follows from the premises
  2. 5. logical ______ are words which combine or modify simple propositions to make compound propositions
  3. 9. a statement
  4. 11. an upper case letter used to represent a single, given proposition
  5. 12. _______ logic is a branch of formal, deductive logic in which the basic unit of thought is the proposition
  6. 13. a ____ proposition contains more than one component part or a negated part
  7. 14. the proposition that follows "If" in a conditional proposition
  8. 15. a proposition that is always false due to its logical structure
  9. 17. a logical operator that asserts that one component part implies the other and is false if ONLY the consequent is false
  10. 18. a lower case letter used to represent any proposition
Down
  1. 1. a logical operator that is equivalent to the conjunction of the conditional and its converse, and is true if both the antecedent and consequent have the same truth values
  2. 3. a proposition that is always true due to its logical structure
  3. 4. a logical operator that denies or contradicts a proposition
  4. 6. two propositions that have identical truth values
  5. 7. a logical operator that joins two propositions and is false if both propositions are false
  6. 8. the proposition that follows "then" in a conditional proposition
  7. 10. a logical operator that joins two propositions using and is true if both propositions are true
  8. 16. a _____ proposition has only one component part