Условие задачи
Переведите с естественного языка на язык логики предикатов:
Логарифмы всех положительных рациональных чисел иррациональны.
Ответ
Универсум: М={Положительные числа}.
Предикаты: А(х) - "х- положительное рациональное число",
В(х,у) - "х- логарифм у ...