Logik Predikatlogik: formalisering uppgift d)

samma uppgift som tidigare men en annan delfråga, det finns inget facit och jag har inget verktyg för att kolla upp om jag är rätt ute så efterfrågar hjälp och tips

Min lösning och tankar: $\forall x,y,z \left(P\right(x,y) \wedge P(x,z) \to y = z)$

Jag tänkte att "för alla x y z så gäller att för samma pixel rad x för kolumn pixel y och z så är y = z samma" Jag vet inte alls hur man ska formulera den i text men fick inspiration från denna:

tips om jag är rätt ute eller hur ser det ut?

tack!

edit: ändrade OCH-tecknet