Это формализованные знания, основываются на законах логики, изучает правила формирования неопровержимых суждений.
Главная часть – логический вывод заключения из посылок. Впервые формальная система логики была разработана Аристотелем в 4в. до н.э. Математическая логика – Дж.Буль(19в.) + компьютеризация привело к созданию логического программирования. Формальная логика изучает только синтаксис, т.е. форму логических рассуждений, но не их семантику, фактическиие знания отделяются от рассуждений.
Логическая модель характеризуется следующей формальной системой: . T- алфавит (словарь); S-синтаксическое правило построения предложений; A-аксиомы; B-правила вывода. Т-это множество высказываний (атомы), в словарь входят: отрицание не/not; дизъюнкция или/or; конъюнкция and/и/&/^; импликация → ; эквиваленция ↔.
Правила S-построения предложения таковы:
- всякое высказывание есть формула (если X и Y формулы, то не X, не Y, X?Y (?-любая двуместная логическая операция) есть формулы);
- никаких других формул не существует, кроме порождаемых применением первых 2-х правил.
