Семінарське заняття №2 «Складні судження» – 2 год.

План

1. Утворення складних суджень. Логічні та граматичні сполучники.

2. Кон’юнктиві судження.

3. Диз’юнктивні судження.

4. Імплікація та еквіваленція.

5. Таблиці визначення істинності логічних сполучників.

Основні поняття, терміни та категорії, що підлягають засвоєнню: судження, прості та складні судження, атрибутивні, екзистенціальні та релятивні судження, категоричні судження, умовні судження, суб’єкт, предикат та зв’язка, квантор, терміни судження, розподіленість термінів, противність (контрарність), під противність (субконтрарність), суперечність (контрадикторність), підпорядкування (субординація), імплікація, кон’юнкція, диз’юнкція, еквіваленція, модальність.

Рекомендована література до Теми 3: [4, 5, 7, 9, 10].

ТЕМА 4. Вступ до класичної логіки

Семінарське заняття – 2 год.

План

1. Загальна характеристика мови логіки висловлювань.

2. Пропозиційні змінні.

3. Кон’юнкція, диз’юнкція, імплікація, еквіваленція та умови їх істинності.

4. Метод таблиць істинності.

Основні поняття, терміни та категорії, що підлягають засвоєнню: висловлювання, міркування, дескриптивні висловлювання, пропозиційні змінні, логічні сполучники, кон’юнкція, диз’юнкція, імплікація, еквіваленція, таблиці істинності.

Рекомендована література до Теми 4: [3, 4, 6, 7, 8].

ТЕМА 5. Умовивід. Види умовиводів

Не нашли, что искали? Воспользуйтесь поиском: