Hi,

Please could someone help me with the following question?

Let

Let

Determine whether .

I've tried both writing a formal proof to see if it is provable and creating a model to see if it's not provable, but I don't seem to be able to reach a conclusion.

Thanks