Рекомендована література до теми 1

[1: Книга перша: розд. І – ІII, V, VII, IX (§ 4)].

Тема 2. Логіка висловлювань

Лекція 3. Загальна характеристика і побудова мови логіки

висловлювань (2 год.)

Загальна характеристика логіки висловлювань. Побудова мови логіки висловлювань. Логічні і граматичні сполучники. Символізація міркувань засобами логіки висловлювань. Види формул логіки висловлювань. Встановлення правильності міркувань засобами логіки висловлювань. Проблема і процедури розв'язуваності. Метод побудови семантичних таблиць істинності.

Лекція 4. Процедури розв’язуваності і відношення між формулами

логіки висловлювань (2 год.)

Метод побудови часткових таблиць істинності (метод контрприкладу). Метод аналітичних таблиць. Відношення між формулами логіки висловлювань: логічне слідування, рівносильність, сумісність, суперечність (контрадикторність), протилежність (контрарність), підпротилежність (субконтрарність), підпорядкування, незалежність.

Лекція 5. Додаткові процедури розв’язуваності (2 год.)

Метод Куайна. Метод зведення до нормальних форм.

Лекція 6. Огляд деяких схем правильних міркувань, які досліджує

логіка висловлювань (2 год.)

Деякі схеми правильних міркувань, які обгрунтовує логіка висловлювань: умовні, умовно-категоричні, розділово-категоричні, лематичні та ін.

Семінар 3 (2 год.)

Теоретичні питання

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

2. Алфавіт і визначення правильно побудованої формули логіки висловлювань.

Характеристика логічних сполучників. Логічні і граматичні сполучники.

Необхідна, достатня, необхідна і достатня умови. Варіанти імплікації. Парадокси

імплікації.

3. Символізація міркувань засобами логіки висловлювань.

4. Встановлення виду формул логіки висловлювань за допомогою повних таблиць

істинності

Практичні завдання і контрольні запитання

(див. окремий додаток)

Семінар 4 (2 год.)

Теоретичні питання

1. Види формул логіки висловлювань Проблема і процедури розв’язуваності в логіці висловлювань.

2. Встановлення правильності міркувань за допомогою скорочених таблиць істинності (контрприклад).

3. Встановлення правильності міркувань за допомогою методу аналітичних таблиць.

4. Відношення між формулами логіки висловлювань.

Практичні завдання і контрольні запитання

(див. окремий додаток)

Семінар 5 (2 год.)

Теоретичні питання

1. Встановлення правильності міркувань за допомогою методу Куайна.

2. Встановлення правильності міркувань за допомогою методу зведення до нормальних форм.

3. Характеристика деяких схем правильних міркувань: суто умовні, умовно-категоричні, розділово-категоричні, умовно-розділові.

Практичні завдання і контрольні запитання

(див. окремий додаток)

Рекомендована література до теми 2

[1: Книга перша: розд. ІV (§ 3) , IX (§§ 1-2, 10-11), Х (§ 2 в)-г)); Книга друга: розд. І].

Лекція 7. Модульна контрольна робота N1 (2 год.)