7.7.x. Exercise questions
Use derivations to check each of the claims below; if a derivation indicates that a claim fails, present a counterexample lurking in an open gap.
| 1. | Fa ⊨ ∀x Fx |
| 2. | ∀x Rxx ⊨ ∀x Rxa |
| 3. | ∀x ¬ Fx ≃ ¬ ∀x Fx |
| 4. |
No widget is a gadget No gizmo is a widget No gizmo is a gadget |
| 5. | No widget is a gadget ≃ Not every widget is a gadget |
| 6. |
Everything is either finished or unstarted Either everything is finished or everything is unstarted |
| 7. | ¬ ∀x ¬ ∀y Rxy ⊨ ∀x ¬ ∀y ¬ Rxy |
For more exercises, use the exercise machine.