⊢ (halt w) ; f ∧ (halt w) ; g ⊃ (halt w) ; (f ∧ g) | HaltChopAnd |
Proof:
1 | ⊢ (halt w) ; g ⊃ (halt w) g | |
2 | ⊢ (halt w) ; f ∧ (halt w) ; g ⊃ (halt w) ; f ∧ (halt w) g | |
3 | ⊢ (halt w) ; f ∧ (halt w) g ⊃ (halt w) ; (f ∧ g) | |
4 | ⊢ (halt w) ; f ∧ (halt w) ; g ⊃ (halt w) ; (f ∧ g) |
qed