<<
>>

3.1. Предикаты

Рассмотрим предложения, зависящие от параметров:

Х – четное число.

X

<< | >>
Источник: Викентьева О. Л.. Математическая логика и теория алгоритмов. Конспект лекций для студентов специальностей АСУ, ЭВТ, КЗИ. Пермь, 2007г.. 2007

Еще по теме 3.1. Предикаты:

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