Плиско В.Е. - Введение в математическую логику - 7. Логика предикатов
Суждения в логике Аристотеля. С примерами из жизни менеджеров.
Суждения это в логике? Сложные суждения примеры. Классификация суждений. Структура суждений. Простые суждения, примеры. Логические формулы. Здравствуйте, уважаемые читатели! Продолжаем публикацию цепочки статей, раскрывающих законы формальной логики. С первой частью Вы сможете познакомиться по ссылке: № 1. Статья «Понятие это в логике? Логика Аристотеля кратко и понятно!» Сегодня мы рассмотрим суждения. Напоминаю, что основой для данной статьи послужила книга Гусев Д. А. «Краткий курс логики: Искусство правильного мышления»...
Введение в математическую логику
Мендельсон Эллиот (1976) В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики...