Математические предложения - презентация, доклад, проект скачать

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

Содержание ▲

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

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

Слайд 1

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

Составьте опорный конспект, используя компьютерную презентацию, по теме Составьте опорный конспект, используя компьютерную презентацию, по теме «Математические предложения»

Слайд 2

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

Математические предложения

Слайд 3

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

Введение Понятие высказывания Виды высказываний Понятие высказывательной формы Высказывания с кванторами Операции над высказываниями Операции над высказывательными формами

Слайд 4

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

Понятие высказывания Высказывание (А,В,…) – предложение, относительно которого имеет смысл вопрос: истинно оно или ложно. «Истина» и «ложь» называются значениями истинности высказывания. «Число 12 – четное» - «и»; 2 + 5 > 8 – «л».

Слайд 5

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

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

Слайд 6

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

«Если углы вертикальные, то они равны». «Если углы вертикальные, то они равны». Из каких элементарных предложений образованно составное предложение? С помощью каких логических связок оно образовано? А – «углы вертикальные» В – «углы равны» Логическая связка – «если…, то» Логическая структура (форма) – «если А, то В».

Слайд 7

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

Понятие высказывательной формы (предиката) Высказывательная форма (А(х), А(х;у), …) – предложение с переменной, которое обращается в высказывание при подстановке в него значений переменной. х + 5 = 8; Число четное.

Слайд 8

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

Множество, из которого выбираются значения переменной (переменных), входящей в высказывательную форму, называется областью определения высказывательной формы (Х). Множество, из которого выбираются значения переменной (переменных), входящей в высказывательную форму, называется областью определения высказывательной формы (Х). Множество значений переменной, которые обращают высказывательную форму в истинное высказывание, называется множеством истинности высказывательной формы (Т).

Слайд 9

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

Высказывания с кванторами Выражение «для всякого х » в логике называется квантором общности по переменной х и обозначается символом . Запись означает: «для всякого значения х предложение А(х) – истинное высказывание». Выражение «существует х такое, что… » в логике называется квантором существования по переменной х и обозначается символом . Запись означает: «существует такое значение х, что предложение А(х) – истинное высказывание».

Слайд 10

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

Слайд 11

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

Операции над высказываниями Конъюнкция Дизъюнкция Отрицание

Слайд 12

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

Конъюнкция Конъюнкцией высказываний А и В называется высказывание вида («А и В»), которое истинно, когда оба высказывания истинны, и ложно, когда хотя бы одно из высказываний ложно. Таблица истинности конъюнкции

Слайд 13

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

Дизъюнкция Дизъюнкцией высказываний А и В называется высказывание вида («А или В»), которое истинно, когда истинно хотя бы одно из высказываний, и ложно, когда оба высказывания ложны. Таблица истинности дизъюнкции

Слайд 14

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

Отрицание Отрицанием высказывания А называется высказывание, истинное тогда и только тогда, когда А ложно, и ложное, когда А истинно. Отрицание высказывания обозначают и читают «неверно, что А». Таблица истинности отрицания

Слайд 15

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

Операции над высказывательными формами Конъюнкция Дизъюнкция Отрицание

Слайд 16

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

Конъюнкция Конъюнкцию высказывательных форм А(х) и В(Х), заданных на множестве Х, обозначают . Это предложение будет обращаться в истинное высказывание при тех и только тех значениях х из области Х, при которых обращаются в истинные высказывания обе высказывательные формы.

Слайд 17

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

Дизъюнкция Дизъюнкцию высказывательных форм А(х) и В(Х), заданных на множестве Х, обозначают . Это предложение будет обращаться в истинное высказывание при тех и только тех значениях х из области Х, при которых обращается в истинное высказывание хотя бы одна из высказывательных форм.

Слайд 18

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

Отрицание Множество истинности отрицания предиката А(х), заданного на множестве Х, есть дополнение к множеству истинности предиката А(х) в множестве Х. Обозначим через множество истинности предиката А(х), а через множество истинности предиката .