Next Prev Up
MoreEqvSkipChopTrue

⊢ more ≡skip ; true MoreEqvSkipChopTrue

Proof:

1
⊢ skip ; true ≡true
SkipChopEqvNext
2
⊢ true ≡skip ; true
1,Prop
3
⊢ more ≡skip ; true
def. of more

qed

Next Prev Up

2023-09-12
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2023