A ja nie rozumiem tego, co napisałeś. Ta formuła znów jest "lewa", bo ma kwantyfikator egzystencjalny z implikacją (co wyklucza "intuicyjnie rozsądne" interpretacje). Przekształcamy równoważnie: \forall x\exists y((\left\langle x,y\right\rangle \in R\ \land\left\langle y,x\right\...