Составители:
Рубрика:
Программа спецкурса «ВВЕДЕНИЕ В СИМВОЛИЧЕСКУЮ ЛОГИКУ»
106
теме внимание уделяется табличному методу. Но указан
ный метод недостаточно эффективен при возрастании чис
ла переменных. Поэтому предлагается практически более
удобный, связанный с построением и упрощением деревь
ев, выражающих логическую структуру формул, метод.
Он применяется в современной символической логике и
для более быстрого усвоения метода вводится понятие рав
носильной формулы.
Показывается, как равносильные формулы использу
ются для представления формул в виде деревьев.
РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА
Жоль К. К. Логика в лицах и символах. – М., 1993.
Светлов В. А. Практическая логика. – СПб., 1995.
Формальная логика. – Л., 1977.
Черч А. Введение в математическую логику. – М., 1960.
Тема 6
Нормальные формы формул логики высказываний
Нормальные формы формул логики высказываний –
это конъюнктивная (совершенная и сокращенная) и дизъ
юнктивная (совершенная и сокращенная) нормальные
формы. Рассматриваются условия нормальной формы и
приведение к нормальной форме какоголибо выражение
логики высказывания. Отмечаются разные функциональ
ные задачи: сокращенная конъюнктивная нормальная
форма как метод отыскания всех простых следствий; со
кращенная дизъюнктивная нормальная форма как метод
отыскания простых гипотез.
РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА
Войшвилло Е. К. Символическая логика. Классическая и реле
вантная. – М., 1989.
Страницы
- « первая
- ‹ предыдущая
- …
- 103
- 104
- 105
- 106
- 107
- …
- следующая ›
- последняя »
