- #1
sara15
- 14
- 0
how to define a V-sentence phi such that phi has aebitrarily large finite models and for any finite model G , G is a connected graph. after that to find a connected graph that does not model the sentence phi. please explain it to me.