Welcome to the Knowledge Mouse Online Quiz
Chapter 6: Formal Proofs and Boolean Logic
| Questions |
Answers |
| What does ^Elim stand for? |
conjunction elimination |
| A ____________ involves the temporary use of an additional assumption, which functions in the way the premises do in the main proof under which it is subsumed. |
subproof |
| If an assumption made in a subproof leads to ⊥, you may close the subproof and derive as a conclusion the negation of the sentence that was the assumption. |
true |
| The rule of ⊥ Intro lets us derive ⊥ whenever we have a pair of sentences that are explicit contradictories. |
true |
| When a subproof ends, we say that its assumption has been ____________. |
discharged |
| Subproofs may not be nested—one subproof may not begin before another is ended. |
false |
| Can you cite individual steps inside a subproof that has already ended? |
no |
