Предикаты Определение 1 а) Множество называется n-местным предикатом (отношением) между элемента

Нажмите для полного просмотра!

Предикаты Определение 1 а) Множество называется n-местным предикатом (отношением) между элемента, слайд №2

Предикаты Определение 1 а) Множество называется n-местным предикатом (отношением) между элемента, слайд №3

Предикаты Определение 1 а) Множество называется n-местным предикатом (отношением) между элемента, слайд №4

Предикаты Определение 1 а) Множество называется n-местным предикатом (отношением) между элемента, слайд №5

Предикаты Определение 1 а) Множество называется n-местным предикатом (отношением) между элемента, слайд №6

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Предикаты Определение 1 а) Множество называется n-местным предикатом (отношением) между элемента. Доклад-сообщение содержит 6 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Предикаты Определение 1 а) Множество называется n-местным предикатом (отношением) между элементами множеств А1,А2,...,Аn; б) Если , то мы говорим, что отношение Р истинно на наборе (a1,a2,...an) и обозначаем Р(a1,a2,...an)=1 или просто Р(a1,a2,...an), если же , то мы говорим, что P ложно на наборе (a1,a2,...an) и пишем Р(a1,a2,...an)=0 или (a1,a2,...an). Определение 2 Пусть – n-местный предикат. а) При n=1 называется одноместным предикатом или свойством, определенным на множестве ;

Слайд 2

Описание слайда:

б) при n=2 Р называется двухместным предикатом или бинарным предикатом или просто отношением; б) при n=2 Р называется двухместным предикатом или бинарным предикатом или просто отношением; в) если , то Р называется отношением между элементами множества А. Примеры 1) Пусть . Свойство определяется условием: – четное число, тогда Р={...;-4;-2;0;2;4;...}. 2) , , определяется условием: – иррациональное число. Тогда , 3) – множество всех людей, определим так: – мужчина

Слайд 3

Описание слайда:

– множество треугольников на плоскости, – равносторонний треугольник – множество треугольников на плоскости, – равносторонний треугольник Определение 3 Пусть – бинарный предикат. Тогда предикат называется обратным к Р, если для любых и Обозначим через следующий бинарный предикат: IА называется диагональным отношением или отношением равенства или просто равенством на множестве А. Очевидно, что .

Слайд 4

Описание слайда:

Определение 4 Определение 4 Пусть бинарные предикаты, тогда предикат определяется следующим условием: для любых существует , такой, что называется суперпозицией предикатов Р и Q. Пример 1 A={1,2,3},B={a, b, c},C={x, y, z}; P={(1;a);(1;c);(2;b);(2;c);(3;a)}A х B; Q={(a; x);(a; y);(b; y);(b; z);(c; x);(c; z)} B х C; ={(1;x);(1;y);(1;z);(2;x);(2;y);(2;z);(3;x);(3;y)}= =(A х C)/{(3;z)}.

Слайд 5

Описание слайда:

Теорема 1 Теорема 1 Пусть , тогда а) ; б) . Доказательство а) Возьмем существует . Но влечет X=Z , значит , то есть . Теперь возьмем , тогда можно написать , то есть существует такое , что , значит . Аналогично доказывается пункт б).