Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Математика / Презентации / Презентация по предмету Элементы математической логики "Кванторы"

Презентация по предмету Элементы математической логики "Кванторы"

  • Математика

Поделитесь материалом с коллегами:

Кванторы
Квантор общности Пусть Р(х) одноместный предикат, определенный на множестве Х...
Квантор существования Высказывание «существует такой х из Х, что Р(х) истинно...
Пример Пусть Р(х) – предикат «х- четное число». Тогда высказывание истинно на...
Истинность или ложность предиката Р, а также формул логики предикатов опреде...
Если в области Х существует такой набор констант , что формула становится ис...
Если не существует набора констант из Х, для которых формула выполнима в Х,...
Формулы называются эквивалентными, если при любых подстановках констант они...
1 из 8

Описание презентации по отдельным слайдам:

№ слайда 1 Кванторы
Описание слайда:

Кванторы

№ слайда 2 Квантор общности Пусть Р(х) одноместный предикат, определенный на множестве Х
Описание слайда:

Квантор общности Пусть Р(х) одноместный предикат, определенный на множестве Х. Высказывание «для всех х из Х Р(х) истинно» обозначается , где знак называется квантор общности.

№ слайда 3 Квантор существования Высказывание «существует такой х из Х, что Р(х) истинно
Описание слайда:

Квантор существования Высказывание «существует такой х из Х, что Р(х) истинно» обозначается . Знак называется квантором существования. Переход от Р(х) к или называется связыванием переменной х, или навешиванием квантора на переменную х. Несвязанная переменная называется свободной.

№ слайда 4 Пример Пусть Р(х) – предикат «х- четное число». Тогда высказывание истинно на
Описание слайда:

Пример Пусть Р(х) – предикат «х- четное число». Тогда высказывание истинно на множестве четных чисел и ложно , если в это множество входит хотя бы одно нечетное число. Высказывание истинно на любом множестве, содержащем хотя бы одно четное число, и ложно на множестве нечетных чисел.

№ слайда 5 Истинность или ложность предиката Р, а также формул логики предикатов опреде
Описание слайда:

Истинность или ложность предиката Р, а также формул логики предикатов определяется подстановкой вместо предметных переменных некоторых допустимых констант.

№ слайда 6 Если в области Х существует такой набор констант , что формула становится ис
Описание слайда:

Если в области Х существует такой набор констант , что формула становится истинным высказыванием, она называется выполнимой в этой области. Если формула выполнима при любых подстановках констант, она называется тождественно истинной в области Х.

№ слайда 7 Если не существует набора констант из Х, для которых формула выполнима в Х,
Описание слайда:

Если не существует набора констант из Х, для которых формула выполнима в Х, она называется невыполнимой в Х. Если формула невыполнима ни в каких областях Х, она называется противоречивой.

№ слайда 8 Формулы называются эквивалентными, если при любых подстановках констант они
Описание слайда:

Формулы называются эквивалентными, если при любых подстановках констант они принимают одинаковые значения. Метод непосредственных подстановок констант называется методом интерпретаций или семантическим (смысловым).

Выберите курс повышения квалификации со скидкой 50%:

Краткое описание документа:

Презентация по предмету Элементы математической логики "Кванторы" разработана на основе Федерального государственного образовательного стандарта по специальности среднего профессионального образования 230115 Программирование в компьютерных системах. Целью является ознакомление обучающихся с важнейшими разделами математической логики для применения полученных знаний в решении практических задач, повышение уровня математической культуры, развития логичности и конструктивности мышления. Возможно использовать при изучении нового материала, при повторении и самоподготовке.

 

Автор
Дата добавления 25.05.2015
Раздел Математика
Подраздел Презентации
Просмотров303
Номер материала 544867
Получить свидетельство о публикации
Похожие материалы

Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.
Специальное предложение
Вверх