Пользуясь знаками арифметических операций (+. Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по логике
Пользуясь знаками арифметических операций (+

Пользуясь знаками арифметических операций (+ .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Пользуясь знаками арифметических операций (+, ) и отношений (<, =) запишите на языке логики предикатов следующие высказывания о действительных числах: "существует ровно одно положительное значение квадратного корня из положительного число".

Решение

Потяни, чтобы посмотреть

х((x<0)y &(yy=x) &z&(zz=x)y=z))).
Знак операции '+' нам не понадобился.
Или можно записать короче так:
х((x<0)∃!y(y &(yy=x)))

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу