Intermediate Logic

Edit Answers
123456789101112
Across
  1. 1. quod erat demonstrandum
  2. 6. statement
  3. 8. proposition following the if statement in a conditional
  4. 9. valid argument which presents a choice between two conditionals
  5. 10. proposition that is always true due to logical structure
  6. 11. a type of branch that shows the path on a truth tree which includes no contradictions
  7. 12. if the premises are true, the conclusion must be true
Down
  1. 2. broken down into literals
  2. 3. (2 words)branch of formal, deductive logic
  3. 4. logical operator that denies a proposition
  4. 5. proposition following the then statement in a conditional
  5. 7. operator asserts that one component implies the other