Логика предикатов. (Глава 2) - презентация, доклад, проект скачать

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

– / 34

Вы можете ознакомиться и скачать презентацию на тему Логика предикатов. (Глава 2). Доклад-сообщение содержит 34 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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

Слайд 1

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

Глава 2 Глава 2 ЛОГИКА ПРЕДИКАТОВ

Слайд 2

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

Гл.1. Логика высказываний Гл.1. Логика высказываний Высказывания: 2 + 2 = 4, 2 > 5, Сегодня 1-ое апреля. Не высказывания: sin x > 0, x  y, x + y > z. Данное предложение ложно. Логические операции:  , &, , ,  . Логика предикатов 1. Понятие предиката М – множество. Предикат – повествовательное предложение, которое при фиксировании переменных (замене их элементами из М) становится высказыванием. Предикаты: sin x > 0 - одна переменная (х); x  y - две переменные (х,у); x + y > z - три переменных (x,y,z); 2 + 2 = 4, 2 > 5, Сегодня 1-ое апреля - 0 переменных.

Слайд 3

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

Слайд 4

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

Слайд 5

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

Пусть Р(x), Q(x) – одноместные предикаты на М. Пусть Р(x), Q(x) – одноместные предикаты на М. Операции над предикатами:  Р(x) - одноместный предикат, значение которого при х = а, а  М, равно значению высказывания  Р(а). Р(x) & Q(x) -одноместный предикат, значение которого при х = а, а  М, равно значен. высказ. Р(а) & Q(а). Р(x)  Q(x), Р(x)  Q(x) , Р(x)  Q(x), но Р(x) & Q(y) - 2-х местн. предикат, R(x,y)  Q(z) - 3-х местн. предикат.  , &, , , 