Question

Записать высказывание "В любой треугольник можно вписать окружность" используя кванторную запись и естественные обозначения предикатов. Построить отрицание в виде формулы и в виде предложения

Answer 1

Высказывание "В любой треугольник можно вписать окружность" можно записать с использованием кванторной записи и естественных обозначений предикатов следующим образом:

Для любого треугольника T существует окружность O, такая что O можно вписать в T.

Это высказывание можно записать в виде формулы отрицания следующим образом:

∃T ∀O ¬(O можно вписать в T)

Или в виде предложения:

"Существует треугольник, в который нельзя вписать окружность."