Главная /
Языки и исчисления /
Если в теории [формула](А - любая формула), то она:
Если в теории Г выводима формула ![math]()
(А - любая формула), то она:
вопрос
(А - любая формула), то она:Правильный ответ:
замкнута
противоречива
непротиворечива
Сложность вопроса
29
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Спасибо за решебник по intiut'у.
20 окт 2020
Аноним
Спасибо за сайт
06 сен 2019
Аноним
Я провалил сессию, почему я не увидел данный сайт с решениями интуит до зачёта
26 мар 2016
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.