Семінар

План семінарського заняття

1. Аналітика дедуктивних виводів.

2. Натуральні числення логіки висловлювань.

3. Тлумачення виводів логіки висловлювань традиційною логікою.

4.

5. Аналіз силогістичних виводів засобами логіки предикатів.

6. Натуральні числення логіки предикатів.

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

Горский Д. П. Краткий словарь по логике / Д. П. Горский, А. А. Ивин, А. Л. Никифоров. - М.: Просвещение, 1991.

Ивин А. А. Словарь по логике / А. А. Ивин, А. Л. Никифоров. - М.: ВЛАДОС, 1997.

Логіка: словник-довідник / авт.-уклад. М. Г. Тофтул. - К.: ВЦ Академія, 2012.

Повторева С. М. Словник з логіки / С. М. Повторева. - Львів: Магнолія-2006, 2009.

Цалін С. Д. Логічний словник-довідник / С. Д. Цалін. - Харків: Факт, 2006.