How do I prove this?
I did the truth table, and I understand it, but I don't understand the proof in Cauman's book First order logic. Actually, I don't see how it makes sense.
Here's what she did:
How do I get just by two premises I introduced and repeated one of them?