Logic Terms Beginner Quiz 4

1. Which term describes a self evident statement accepted as true without formal proof?

2. Which term describes a logic statement proven true via an established chain of reasoning?

3. Which term describes a minor proposition that follows immediately from a proven theorem?

4. Which term describes a minor proven proposition utilized as a stepping block for a major proof?

5. What describes the bounded set of all entities under consideration in a specific discussion?

6. Which term describes an argument presenting two choices that both lead to unwelcome outcomes?

7. Which term describes a state of total logical puzzlement or irresolvable internal contradiction?

8. Which logic subsystem expands standard assertions to explicitly express necessity and possibility?

9. Which term describes a statement that leads to a contradiction despite seemingly sound premises?

10. Which term describes a conditional statement expressing what would occur under alternate past circumstances?