• Программа по курсу логики
• Краткое введение в логику высказываний
• Логические связки и таблицы истинности
• задача с "валентинками"
• Некоторые формулы и законы логики высказываний
• Упражнения по логике высказываний
• Задачи на применение формул и законов логики высказываний
• Логическое следование
• Имена
• Непосредственные умозаключения
• Простой категорический силлогизм
• Решение силлогизмов по Л.Кэрролу
• Сорит
• Условно-категорическое умозаключение