Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
How would I deduce a≠c from the premises a≠b and b≠c in Fitch?
This is what I've done so far.
b≠a (Ana Con)
And then for some reason I get stuck here?
I know this sounds simple, but I'm lost! Thanks in advance.
You can't, because it isn't valid. Think about it with numbers, consider:
It's true that a≠b & b≠c, yet a=c.
Required, but never shown