Next Prev Up
FNextEqvNextRule

⊢ f ≡ g ⇒ f ≡ g FNextEqvNextRule

Proof:

1
f ≡ g
Assump
2
f ⊃ g
1,Prop
3
f ⊃ g
2,FNextImpNextRule
4
g ⊃ f
1,Prop
5
g ⊃ f
4,FNextImpNextRule
6
f ≡ g
3, 5,Prop

qed

Next Prev Up

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