Тема 6. Классическая логика высказываний.

Языки естественные и искусственные. Достоинства и недостатки естественного языка. Понятие о формализованном языке как средстве выявления логической формы языковых выражений. Алгоритм построения формализованного языка.

Логика высказываний (пропозициональная логика) как определенный тип логической теории. Язык классической логики высказываний. Алфавит языка: пропозициональные переменные, пропозициональные связки – унарная (отрицание) и бинарные (конъюнкция, дизъюнкция, импликация, эквиваленция), технические средства. Понятие правильно построенной формулы. Простые и сложные формулы. Логические условия истинности высказываний. Двузначность классической логики: истинность и ложность высказываний. Табличное определение истинностных значений логических связок (таблица истинности).

Разрешающие процедуры для формул классической логики высказываний. Алгоритм построения таблиц истинности. Классификация формул по логическим условиям истинности: тождественно-истинные (общезначимые), тождественно-ложные и выполнимые.

Логические отношения между формулами: совместимость по истинности, совместимость по ложности, логическое следование.

Выводы, основанные на логических связях между высказываниями: условно-категорические выводы – утверждающий модус, отрицающий модус; разделительно-категорические выводы – утверждающе-отрицающий и отрицающе-утверждющий модус; условно-разделительные выводы – простая конструктивная, сложная конструктивная, простая деструктивна, сложная деструктивная дилеммы; условные выводы.

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