Выберите верные утверждения.
- Исчисление высказываний имеет язык первого порядка.
- Исчисление высказываний – полная формальная аксиоматическая теория.
- Исчисление высказываний – разрешимая формальная аксиоматическая теория.
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.