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=b (=Intro)
b≠a (Ana Con)
b≠c (Reit)
And then for some reason I get stuck here? I know this sounds simple, but I'm lost! Thanks in advance.
Philosophy Stack Exchange is a question and answer site for those interested in the study of the fundamental nature of knowledge, reality, and existence. It only takes a minute to sign up.
Sign up to join this communityYou can't, because it isn't valid. Think about it with numbers, consider:
a=1
b=2
c=1
It's true that a≠b & b≠c, yet a=c.