Формализация естественного языка в логике предикатов. Имена единичные и общие
Понятие предиката. Одноместные, многоместные предикаты. Высказывание как нульместный предикат. Предикаты и функции. Кванторные выражения. Формализация фрагментов естественного языка в логике предикатов. Связь логики предикатов с логикой высказываний. Язык логики предикатов. Понятие интерпретации. Область интерпретации. Интерпретация предикатов и функций. Понятие истинности и выполнимости. Понятие модели. Логически общезначимые формулы. Соотношение тавтологичности и логической общезначимости формул. Взаимовыразимость кванторов. Законы логики предикатов.
Бинарные отношения и двухместные предикаты. Виды бинарных отношений: отношения допускающие конверсию; рефлексивные и иррефлексивные отношения; симметричные, асимметричные и антисимметричные отношения; транзитивные и не транзитивные отношения. Свойства бинарных отношений. Суждение с отношениями. Умозаключения основанные на свойствах бинарных отношений.
Литература:
1. Ивлев Ю.В. Логика. - М., 1992. - С. 100-111.
2. Бочаров В.А., Маркин А.В. Основы логики. – М., 2000.
3. Войшвилло Е.К., Дегтярёв А.В. Логика. – М., 2000.
4. Свинцов В.И. Логика. - М., 1987. - С. 88-92.