Конспекты лекций по математической логике
| Категория реферата: Рефераты по математике
| Теги реферата: реферат статус, изложение по русскому языку 6
| Добавил(а) на сайт: Анохин.
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 | Следующая страница реферата
(пустое слово) , 
1 и 2 – формальные выводы.
3 – не является формальным выводом.
4 Предикаты и кванторы. 4.1 Определение предиката.
- высказывание, содержащее переменную.
- предметная область предиката.
Пусть А – множество объектов произвольной природы (предметная область предиката).
-местный предикат – произвольное отображение 
Множество истинности данного предиката 
- - характеристическая функция
от x на множестве А - совпадает с предикатами
k – связанная переменная
n – свободная переменная
t – свободная, x – связанная.
, a,b,y – свободные переменные, x – связанная.
Рекомендуем скачать другие рефераты по теме: изложение 3, пушкин реферат.
Категории:
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 | Следующая страница реферата
Главная