Какое утверждение верно для формальной системы?
(Отметьте один правильный вариант ответа.)
Варианты ответа
признак противоречивости системы - если для каждого утверждения Y можно вывести одновременно утверждения Y и не Y(Верный ответ)
признак противоречивости системы - если для каждого утверждения Y можно вывести только либо Y, либо не Y
признак противоречивости системы - если для каждого утверждения Y нельзя вывести только либо Y, либо не Y
признак противоречивости системы - если для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y