<<
>>

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

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

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

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

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

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

-

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

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

А - совпадает

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

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

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