∃x∀y∃z((F(y, z) → F(x, z)) → (F(x, x) → F(y, x)))
How can I show for this formula that it is true in every finite model but it isn't a valid formula?
Can someone please help me solve this problem/send me the proof/send me links of books where I can find a proof of this problem?
Thank you in advance!