2.3.x. Exercise questions
Use the basic system of derivations to check each of the claims below. If a derivation indicates that a claim fails, confirm a counterexample. That is, give an interpretation that separates the active resources of an open gap from its goal and calculate truth values for the premises and conclusion from it—as is done in the example in 2.3.5 (though you need only provide a single counterexample even when the derivation leads you to several): |
|
1. | A ⊨ A ∧ B |
2. | A ∧ B ⊨ A ∧ (B ∧ A) |
3. | B ∧ E, C ∧ ⊤ ⊨ (A ∧ B) ∧ (C ∧ D) |
4. | A ∧ B, B ∧ C, C ∧ D ⊨ A ∧ D |
5. | A, B ∧ A, D ⊨ B ∧ ((C ∧ A) ∧ D) |
For more exercises, use the exercise machine.