Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Предикаты и кванторы.  Определение предиката.

Предикаты и кванторы.  Определение предиката.

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

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

Предикаты и кванторы.  Определение предиката.

 

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

 

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

 

Предикаты и кванторы.  Определение предиката.Множество истинности данного предиката Предикаты и кванторы.  Определение предиката.

Предикаты и кванторы.  Определение предиката. -

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

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

А - совпадает

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

 

Предикаты и кванторы.  Определение предиката.

Предикаты и кванторы.  Определение предиката.

Предикаты и кванторы.  Определение предиката.

 

 

Случайная новость