<<
>>

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

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

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

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

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

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

-

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

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

А - совпадает

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

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

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

  1. Глава III. Пути и средства увеличения вывоза наших товаров и уменьшения нашего потребления иностранных товаров