В логическом исчислении такое его свойство, когда выводимость - Ответ на вопрос №188019
Вопрос
В логическом исчислении такое его свойство, когда выводимость некоторой произвольной формулы, например формулы А, не сопровождается выводимостью ее отрицания, те формулы«неверно, что А» называется:
Ответ
• непротиворечивостью
Ты можешь публиковать студенческие работы на студизбе и зарабатывать на этом!
Ты можешь публиковать студенческие работы на студизбе и зарабатывать на этом!
Ekaterina_avtor















