Построите отрицания высказываний разными способами

А) Обозначим: P(x,y) – «x можно вписать в y». Тогда исходное высказывание может быть записано в виде: ∀xP(x,y).
Возможны следующие варианты отрицания:
Не любой треугольник можно вписать в окружность. (¬∀xP(x,y))
Ни один треугольник нельзя вписать в окружность. (∀x(¬Px,y))
Так как высказывание является теоремой, оно всегда истинно: ∀xPx,y=1, тогда
¬∀xPx,y=¬1=0, отрицание ложно;
∀x¬Px,y=¬∃xPx,y, отрицание не является абсолютно истинным или ложным.
а) Обозначим: P(x,y) – «x можно вписать в y» . Тогда исходное высказывание может быть записано в виде: ∀xP(x,y).
Возможны следующие варианты отрицания:
Не любой треугольник можно вписать в окружность. (¬∀xP(x,y))
Ни один треугольник нельзя вписать в окружность