1

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.

1 Answer 1

7

You 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.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .