How to prove transitivity in Fitch. Is it Ok?
| 1. a = b | 2. b = c | 3. c = c =Intro | 4. a = c =Elim: 3, 2 | 5. b = c =Elim: 4, 1
I was not able to get the proof as you presented it to work in the fitch-style proof checker I am using.
However, the following did work using equality elimination (=E).
The proof checker you are using may be different and the result could require other steps.
P. D. Magnus, Tim Button with additions by J. Robert Loftis remixed and revised by Aaron Thomas-Bolduc, Richard Zach, forallx Calgary Remix: An Introduction to Formal Logic, Winter 2018. http://forallx.openlogicproject.org/ Wikipedia, "Fitch notation" https://en.wikipedia.org/wiki/Fitch_notation