<<
>>

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

, раздел математич. логики, совокупность логико-математич. исчислений, формализующих те разделы совр. логики, в к-рых отображаются и изучаются (в связи с рассмотрением субъ-ектно-предикатной структуры предложений) правила оперирования с кванторами. См. Логика предикатов.

<< | >>
Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме ИСЧИСЛЕНИЕ ПРЕДИКАТОВ:

  1. 3.2. Исчисление предикатов
  2. Исчисление предикатов.
  3. Тема 3. Логика и исчисление предикатов
  4. 4.4. Правило резолюции для исчисления предикатов
  5. §4. Алгебра предикатов. Логические операции над предикатами
  6. Предикат и актанты. Типы предикатов и актантов
  7. 4.1 Определение предиката.
  8. Риторические предикаты
  9. Противопоставление предикату
  10. Выражение силлогистики средствами логики предикатов
  11. Глава 7. Начала логики предикатов
  12. 2.4.4. Кванторные операции над предикатами
  13. § 33. Семантический предикат. Предикатная лексика