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