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