Учебник логики

Обучение логике (логическому мышлению) может включать разные формы: онлайн-курсы, изучение книг, игры и упражнения. Цель — сформировать навыки, которые включают знание теоретических основ логики, умение правильно совершать мыслительные операции (классификация, конкретизация, обобщение и др.), уверенное использование ключевых форм мышления (понятие, суждение, умозаключение) и способность аргументировать свои мысли в соответствии с законами логики.

Некоторые онлайн-курсы по обучению логике:

«Логическое мышление» от 4brain. Предлагает 8 онлайн-занятий, на которых изучают основы логики, методы анализа языка, работу с понятиями и определениями, а также умозаключения и логические законы. В курсе есть игры и онлайн-тренажёры, практические кейсы и упражнения.

«Мышление Шерлока» от платформы «Викиум». Курс из 10 уроков, 2 тренажёров и более 100 логических загадок. Научит быстро обдумывать задачи, выявлять логические заблуждения, видеть ошибки в рассуждениях оппонента

Труфанов - Наука логики Гегеля в доступном изложении
Во второй половине 18 века французские мыслители Д'Аламбер, Дидро и др. издали первый Энциклопедический словарь. Собрав вместе все известные к тому времени научные понятия и определения, разные факты и просто сведения, они свели все эти материалы в одну книгу, где расположили их постатейно в простом алфавитном порядке. Спустя несколько десятилетий в Германии был предложен другой принцип всеохватывающей систематизации научных определений - в порядке логической преемственности их смысла, где из одного определения должно вытекать другое определение, из него - третье, и т.д. Решить такую задачу удалось лишь одному человеку - Вильгельму Гегелю.
Инновационные преобразования, происходящие во всех сферах нашего общества, особенно в экономической и социальной, порождают в образовании ситуацию, когда усиливается внимание к проблеме подготовки кадров качественно нового уровня — личности активной, самостоятельной, творческой, освоившей комплекс гуманитарных и естественных наук, способной развивать себя как субъекта профессиональной деятельности.

Тема 1. Предмет и значение логики
Тема 2. Логический анализ языка
Тема 3. Понятие
Тема 4. Суждение План:

Тема 5. Умозаключение
Тема 6. Основные законы логики. Гипотеза
Тема 7. Логические основы аргументации
Логическое программирование
В этих правилах строчные буквы греческого алфавита (например, U и ф) представляют пропозициональные переменные, т.е. не атомарные формулы, а любое простое или составное высказывание. Пропозициональные константы являются частью языка высказываний, который используется для приложения исчисления пропозициональных переменных к конкретной проблеме.

PROLOG и MBASE
Правила поиска в языке PROLOG
Управление поиском в системе MBASE
Рекомендуемая литература
Упражнения
Формальные языки
Исчисление высказываний
Исчисление предикатов
Снова о роботах и комнатах
Язык PROLOG
Литерал цели сопоставляется с литералом р (унифицируется с р), который называется головой фразы.
Листинг 8.1. Простая программа на языке PROLOG, определяющая отношение on (на)
Опровержение резолюций
Принцип резолюций
Таблица 8.1. Обобщение резолюции
Поиск доказательства в системе резолюций
Дерево доказательства методом опровержения резолюций
Процедурная дедукция в системе PLANNER