Question

Exercises 2.4

def

* 1. Consider the formula of VrVy Q(g(x, y), g(y, y), z), where Q and g have arity

3 and 2, respectively. Find two models M and M' with respective environments

I and I' such that MF, but M' .

Question image 1