Date: Oct 1, 2013 7:24 PM
Author: danoc93
Subject: Mathematic logic, confused here

I need to define a domain U and predicate P for which this condition evaluates as false...

[? x ? U, P (x)] ? [? x ? U, P (x)].

Whats the correct way of finding them?