Next Prev Up
YieldsGen

⊢ g ⇒ ⊢ f g YieldsGen

Proof:

1
⊢ g
given
2
⊢ g
BoxGen
3
⊢ g ⊃ f g
BoxImpYields
4
⊢ f g
2, 3,MP

qed

Next Prev Up

2024-08-03
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2024