1. Главная
  2. Библиотека
  3. Логика
  4. Перевести с естественного языка на формальный (язык логики предикатов). Квадрат гипотенузы равен сумме квадратов катетов...

Перевести с естественного языка на формальный (язык логики предикатов). Квадрат гипотенузы равен сумме квадратов катетов.

«Перевести с естественного языка на формальный (язык логики предикатов). Квадрат гипотенузы равен сумме квадратов катетов.»
  • Логика

Условие:

Перевести с естественного языка на формальный (язык логики предикатов). Квадрат гипотенузы равен сумме квадратов катетов.

Решение:

Логика высказываний:

A: Квадрат гипотенузы равен сумме квадратов катетов.

Формула: A

Логика предикатов:

Три универсума: множество прямоугольных треуг...

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет