<<
>>

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

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

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

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

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

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

-

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

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

А - совпадает

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

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

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

  1. §4. Алгебра предикатов. Логические операции над предикатами
  2. Предикат и актанты. Типы предикатов и актантов
  3. Исчисление предикатов.
  4. 2.4.3. Логические операции над предикатами
  5. Риторические предикаты
  6. Противопоставление предикату
  7. 2.4.4. Кванторные операции над предикатами
  8. § 33. Семантический предикат. Предикатная лексика
  9. 2.4.1. Основные понятия, связанные с предикатами
  10. Глава 7. Начала логики предикатов
  11. 2.4.2. Классификация предикатов
  12. 2.4.9. Равносильность формул логики предикатов
  13. 2.4.8. Классификация формул логики предикатов
  14. 2.4.7. Интерпретация формул логики предикатов