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

№ «Ассистент, присутствовавший на экзамене, был удовлетворен ответами трех первых студентов. Он высказал свое мнение экзаменатору: «Ваши студенты глубоко изучили предмет». В данном… № Укажите вид отношения между понятиями «женщина» (А) и «дочь» (В): № Преобразование постулатов по правилам, дающим возможность из ограниченного числа аксиом получать множество доказуемых положений — теорем, является сутью метода № Какое из перечисленных суждений получено в результате обращения следующего суждения: Некоторые преступления вменяются № Примером коммуникации на каком языке является передача «центром» разведчику информации шифром? № Простое суждение «Каждый человек отражение своего внутреннего мира» является