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