sara15
- 14
- 0
can we define a V-sentence phi such that phi has arbitrarily large finite models and , for any finite model G , |G| is even . and then finding a finite graph G such that |G| is even and G doesnot model the sentence phi that I mentioned above.
please explain it to me
please explain it to me