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

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

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

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

 

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

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

 

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

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

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

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

А — совпадает

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

 

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

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

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

 

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