Условие задачи
Перевести с естественного языка на формальный (язык логики предикатов). Квадрат гипотенузы равен сумме квадратов катетов.
Ответ
Логика высказываний:
A: Квадрат гипотенузы равен сумме квадратов катетов.
Формула: A
Логика предикатов:
Три универсума: множество прямоугольных треуг...