<<
>>

4.1 Определение предиката.

- высказывание, содержащее переменную.

- предметная область предиката.

Пусть А – множество объектов произвольной природы (предметная область предиката).

-местный предикат – произвольное отображение

Множество истинности данного предиката

-

- характеристическая

функция от x на множестве

А - совпадает

с предикатами

<< | >>
Источник: Конспекты лекций по математической логике. 2017

Еще по теме 4.1 Определение предиката.:

  1. Глава 7. Начала логики предикатов
  2. Теория моделей классической логики предикатов
  3. Состав суждения.Субъект и предикат
  4. Отношение между объёмами субъекта и предиката в суждениях о принадлежности предмета классу предметов
  5. ТИПЫ ПРЕДИКАТОВ И ТИПЫ ПРЕДЛОЖЕНИЙ В РУССКОМ ЯЗЫКЕ
  6. Исчисление предикатов.
  7. II. ИНДИВИДЫ, ПРЕДИКАТЫ И ОТНОШЕНИЯ
  8. §4. Алгебра предикатов. Логические операции над предикатами
  9. § 33. Семантический предикат. Предикатная лексика
  10. 2.4.1. Основные понятия, связанные с предикатами
  11. 2.4.2. Классификация предикатов
  12. 2.4.3. Логические операции над предикатами
  13. 2.4.4. Кванторные операции над предикатами
  14. 2.4.8. Классификация формул логики предикатов