Мат логика - предикаты

2 Задачи идентичны:
1)U:вселенский ход
Предикаты:
1.2 Истинно: Уравнение 1=Уравнению 2
2.2 ложны: Уравнение 1 неравно, Уравнению 2
3.Одно истинно, Одно ложно,: Уравнение 1 неравно, или больше Уравнению 2
4.Одно ложно, одно истинно: Уравнение 2 неравно, или больше уравнения 1
2)i:Земной Ход
Аналогично, решению, также