Аксиоматическое исчисление высказываний: учебно-методическое пособие

Сафонов Александр Сергеевич

Аксиоматическое исчисление высказываний: учебно-методическое пособие

Дата публикации: 2020

Дата публикации в реестре: 2020-10-28T14:09:40Z

Аннотация:

В пособии рассматривается две системы аксиоматического исчисления высказываний: со схемами аксиом и с конечным числом аксиом. Приводится доказательство метатеоремы дедукции для системы со схемами аксиом. Также даны примеры доказательств в аксиоматических системах с комментариями. Предназначено для студентов, обучающихся по направлению 47.03.01 - Философия.

Ключевые слова:
Логика, Символическая логика, Логика высказываний, Исчисление высказываний

Тип: Book

Права: metadata only access