Basta mostrare che in una struttura particolare questa formula non e' vera.
Per esempio in {a,b,c} dove notP corrisponde alla relazione
cRa aRb bRb