Выберите верные утверждения.

  • Исчисление высказываний имеет язык первого порядка.
  • Исчисление высказываний – полная формальная аксиоматическая теория.
  • Исчисление высказываний – разрешимая формальная аксиоматическая теория.

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.