Презентация по математике "МАТЛОГИКА" - скачать

Содержание

Слайд 2

Алгебра высказываний Высказыванием называется предложение, имеющее истинностное значение - л(ложь), f(false),

Алгебра
высказываний

Высказыванием называется предложение, имеющее истинностное значение
- л(ложь), f(false), 0-ложное высказывание
-

и(истина), t(true), 1-истинное высказывание

Например:
1.Сегодня 5 августа. (ложное высказывание)
2.В этом семестре студенты 2 курса факультета МИиФ изучают курс Дискретной математики. (истинное высказывание)

Слайд 3

Логические операции над высказываниями. 1.Отрицание Отрицанием высказывания А называется высказывание, истинное

Логические операции
над высказываниями.

1.Отрицание

Отрицанием высказывания А называется высказывание, истинное тогда и только

тогда, когда само высказывание ложно.

Цветок, который стоит в вазе синего цвета.

Неверно, что цветок, который стоит в вазе синего цвета.

Слайд 4

Таблица истинности

Таблица истинности

Слайд 5

2.Конъюнкция Конъюнкцией или логическим умножением высказываний А и В называется высказывание,

2.Конъюнкция

Конъюнкцией или логическим умножением высказываний А и В называется высказывание, истинное

тогда и только тогда, когда оба высказывания истинны.

Фотография Нюши находится в рамке в форме сердечка и красного цвета. (истина)

Другие высказывания по поводу цвета и формы этой рамки будут ложны.

Слайд 6

Таблица истинности

Таблица истинности

Слайд 7

3.Дизъюнкция. Дизъюнкцией или логическим сложением высказываний А и В называется высказывание

3.Дизъюнкция.

Дизъюнкцией или логическим сложением высказываний А и В называется высказывание ложное

тогда и только тогда, когда оба высказывания ложны.

Тигр красивое животное или хороший охотник.(истина)

Тигр не красивое животное или хороший охотник.(истина)

Тигр красивое животное или плохой охотник.(истина)

Тигр некрасивое животное или плохой охотник.(ложь)

Слайд 8

Таблица истинности

Таблица истинности

Слайд 9

4.Импликация. Импликацией или логическим следствием высказываний А и В называется высказывание,

4.Импликация.

Импликацией или логическим следствием высказываний А и В называется высказывание, ложное

тогда и только тогда, когда А – истинно, В – ложно. Высказывание А называется посылкой, а В - следствием или заключением.

Если три стороны одного треугольника равны трем сторонам другого треугольника, то такие треугольники равны.(истина)

Если три стороны одного треугольника равны трем сторонам другого треугольника, то такие треугольники не равны. (ложь)

Если три стороны одного треугольника не равны трем сторонам другого треугольника, то такие треугольники не равны. (истина)

Слайд 10

Таблица истинности

Таблица истинности

Слайд 11

5.Эквиваленция. Эквиваленцией или логической равновесностью высказываний А и В называется высказывание,

5.Эквиваленция.

Эквиваленцией или логической равновесностью высказываний А и В называется высказывание, истинное

тогда и только тогда, когда оба высказывания принимают одинаковые значения.

Все цветы на рисунке одинакового цвета, форма их бутона тоже одинакова.(Каждый цветок по форме и цвету эквивалентен другому)