Учебное пособие. Саратов: Изд-во СГУ, 2001. - 72 с.
Пособие состоит из двух разделов: традиционная логика и математическая логика. Теоретический материал сопровождается упражнениями и примерами решения задач. Для студентов и аспирантов факультета гуманитарных и социальных наук.
Содержание:
Традиционная логика.
Понятие.
Суждение.
Умозаключение.
Теория силлогизмов Аристотеля.
Умозаключения из суждений с отношениями.
Индуктивные умозаключения.
Математическая логика.
Логика высказываний.
Алгебра высказываний.
Приложения алгебры высказываний.
Аксиоматическая система в исчислении высказываний.
Логика предикатов.
Исчисление предикатов.
Система аксиом в исчислении предикатов.
Формальная арифметика.
Пособие состоит из двух разделов: традиционная логика и математическая логика. Теоретический материал сопровождается упражнениями и примерами решения задач. Для студентов и аспирантов факультета гуманитарных и социальных наук.
Содержание:
Традиционная логика.
Понятие.
Суждение.
Умозаключение.
Теория силлогизмов Аристотеля.
Умозаключения из суждений с отношениями.
Индуктивные умозаключения.
Математическая логика.
Логика высказываний.
Алгебра высказываний.
Приложения алгебры высказываний.
Аксиоматическая система в исчислении высказываний.
Логика предикатов.
Исчисление предикатов.
Система аксиом в исчислении предикатов.
Формальная арифметика.