Логика предикатов презентация

Тогда для любого предиката )(xA будет ложным высказывание )(xxAC ∀∧ и предикат )(xAC ∧ , и, следовательно, высказывание ))(( xACx ∧∀ . Значит, в этом случае обе исходные формулы тождественно ложны. 2. Пусть теперь высказывание С истинно. Это истинное высказывание. 5) Предложение «x+2<3x-4» является одноместным предикатом Р(х), Ip=(3;+∞) 6) Предложение «однозначное число х кратно3» является одноместным 5 6. предикатом Р(х), Ip={0; 3; 6; 9); 7) Предложение «(х+2)-(3х-4)» не является предикатом. Дается только единственное определение "категорий": это "выражения, которые ни в коей мере не означают чего-то сложного", – а затем следует вышеприведенный список. Понятие о равносильности, следовании, употребление логических связок если ..., то ..., в том и только том случае. Тогда будет ложным и предикат )()( xBxA ∨ . При этом будут ложными высказывания ))()(( xBxAx ∨∃ и )()( xxBxxA ∃∃ . 2. Пусть теперь хотя бы один из предикатов (например, А(х)) не тождественно ложный. Область определения предиката (20 минут); б) Одноместный предикат. Множество М, на котором задан предикат, называется областью определения предиката.

Смотрите также: Презентация для урока православия по теме холокост

Информация о файле:

Слайды: 68 слайда(-ов)
Размер презентации: 438 KB
Тип файла презентации: .ppt
Скачан: 1788 раз

Ссылка на скачивание: xtr5-tabl.ppt

Похожие записи: