1. Предмет и значение логики.

2. Логика и  язык.

3. Суждение как форма мышления.

4. Формы мышления.

5. Простые суждения.

6. Понятие закона мышления. Основные формально-логические законы.

7. Деление суждений по качеству и количеству.

8. Применение аппарата алгебры высказываний при решении содержательных задач..

9. Построение таблиц истинности сложных суждений.

10.Распределенность терминов в суждениях.

11.Логические отношения между суждениями.

12.Логический квадрат.

13.Сложные суждения.

14.Понятие как форма мышления.

15.Логические приемы образования понятий.

16.Содержание и объем понятий.

17.Виды понятий.

18.Непосредственные умозаключения.

19.Отношения между понятиями.

20.Простой категорический силлогизм.

21.Обобщение и ограничение понятий.

22.Фигуры и модусы категорического силлогизма. Особые правила фигур.

23.Определение понятий.

24.Умозаключения по логическому квадрату.

25.Деление понятий.

26.Умозаключение как форма мышления. Классификация умозаключений.

27.Чисто условное и условно-категорическое умозаключения.

28.Понятие и виды модальности.

29.Разделительно-категорическое умозаключение.

30.Эпистемическая модальность.

31.Условно-разделительное умозаключение.

32.Деонтическая модальность.

33.Сокращенный силлогизм (энтимема). Восстановление недостающих посылок энтимемы. Пример.

34. Алетическая модальность.

35.Сложные и сложносокращенные силлогизмы (сорит, эпихейрема). Пример.

36.Лемматические  умозаключения. Пример.

37.Индуктивные умозаключения.

38.Алгоритм  приведения формул алгебры высказываний  к СДНФ.

39.КНФ. СКНФ. Решение задач,  требующих приведение формул в  виду КНФ.

40.ДНФ. СДНФ. Приведение формул алгебры высказываний  к  минимальной  ДНФ.