В логическом исчислении такое его свойство, когда выводимость некоторой произвольной формулы, например формулы А, не сопровождается выводимостью ее отрицания, те формулы «неверно, что А» называется:

Вопрос, который вызвал трудности

Ответ экспертов Учись.Ru

Чтобы дать полноценный ответ, был привлечён специалист, который хорошо разбирается в теме «Логика». Ваш вопрос звучал так: В логическом исчислении такое его свойство, когда выводимость некоторой произвольной формулы, например формулы А, не сопровождается выводимостью ее отрицания, те формулы «неверно, что А» называется:

После обсуждения с другими специалистами сервиса мы пришли к выводу, что правильный ответ на ваш вопрос будет звучать следующим образом: