Interm Logic 1-7 vocab

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