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