с логикой предикатов 1 порядка. Мне нужно осуществить прямой выбор на основе унификации и обратный вывод на основе метода резолюции в среде кубиков в соответствии с фото. Я вроде бы решила, но хочу сверить свой ответ с другим.

ответ:

пошаговое объяснение:

угол в равен 180-135=45 градусов

уголy равен   135 градусов (накрес лежащие углы)

меняем знак на противоположный

пошаговое объяснение:

а)-3; 1,5; -0,5; 5,9

б)-4; 7,1; 10,08; -18

с) знак не меняется , потому что при раскрытии скобок после знака -, знаки меняются на противоположные, а значит -(-с)=с

11; -17; 18; -25

ну например

[tex] \frac{1}{10} = 1 \div 10 = 0.1 \\ \frac{5}{20} = 5 \div 20 = 0.25[/tex]

число а=5,45

5,4< 5,45< 5,5