Предыдущая страница реферата | 1  2  3  4  5  6  7  8  9  10 | Следующая страница реферата

(пустое слово) ,

1 и 2 – формальные выводы.

3 – не является формальным выводом.

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

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

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

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

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

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

- - характеристическая функция от x на множестве А - совпадает с предикатами

4.2 Понятие квантора.

k – связанная переменная

n – свободная переменная

t – свободная, x – связанная.

, a,b,y – свободные переменные, x – связанная.

Рекомендуем скачать другие рефераты по теме: изложение 3, пушкин реферат.



Предыдущая страница реферата | 1  2  3  4  5  6  7  8  9  10 | Следующая страница реферата

Поделитесь этой записью или добавьте в закладки