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