15. Алгебричні системи логіки висловлювань і логіки предикатів

Програмний зміст теми

Мова алгебри логіки висловлювань. Типологія формул за семантичними ознаками. Логічні відношення між формулами. Аксіоматичне числення логіки висловлювань. Натуральне числення логіки висловлювань. Мова алгебричної системи логіки предикатів. Семантика алгебричної системи логіки предикатів. Закони логіки предикатів. Аксіоматичне та натуральне числення предикатів.

План семінару

1. Специфіка алгебричних систем логіки.

2. Відмінності між алгеброю висловлювань і алгеброю предикатів.

Література для самостійної підготовки та підготовки до семінару

Конверський, А. Є. Логіка (традиційна та сучасна) [Текст] : підруч. для студ. вищих навч. закл. / А. Є. Конверський. – К. : Центр навч. літ-ри, 2008. – С. 489 – 530.

Кулик, О. В. Посібник до вивчення курсу «Логіка» [Текст] / О. В. Кулик. – Д. : РВВ ДНУ, 2015. – 24 с.

Тарский, А. Введение в логику и методологию дедуктивных наук [Текст] / А. Тарский ; [пер. О.Н. Дынник]. – М. : Из-во иностр. лит. , 1948. – С. 31 – 90.

Завдання для самостійної роботи

1. Проаналізуйте можливості алгебричних систем логіки. Укажіть їх переваги та недоліки.

2. Охарактеризуйте галузь застосування алгебричних систем логіки.