Коммутативный закон

Закон, по которому можно кванторы, стоящие перед выражениями менять местами:

х у Р(х,у) = у х Р(х,у);

х у Р(х,у)= у х Р(х,у);

Но кванторы разных типов некоммутативны:

х у (человек(х) Éотец(у, х)) – у каждого человека есть отец.

у x (человек(х) Éотец(у, х))– у всех людей общий отец (кстати, таковым можно считать Всевышнего).