Математическая логика - операции и законы

Математическая логика:
операции, законы.

Кутушкин Александр
ГБПОУ МО «Щёлковский колледж»

Логическое сложение
(дизъюнкция) .
обозначения: “V”, “или”, “+”
В каком случае мы возьмем с собой зонтик(F)?
1. Дождь идёт сейчас (А)
2. В прогнозе обещали дождь(В)

Логическое сложение
(дизъюнкция) .
обозначения: “V”, “или”, “+”
В каком случае мы возьмем с собой зонтик(F)?
1. Дождь идёт сейчас (А)
2. В прогнозе обещали дождь(В)

Логическое умножение
(конъюнкция) .
обозначения: “Λ”, “и”, “*”
В каком случае мы купим вкусняшку(F)?
1. У нас есть деньги(А)
2. В магазине есть вкусняшка(В)

Логическое умножение
(конъюнкция) .
обозначения: “Λ”, “и”, “*”
В каком случае мы купим вкусняшку(F)?
1. У нас есть деньги(А)
2. В магазине есть вкусняшка(В)

Логическое отрицание
(инверсия) .
обозначения: “¬”, “А”
Инверсия – смена значений на противоположные.

Логическое отрицание
(инверсия) .
обозначения: “¬”, “А”
Инверсия – смена значений на противоположные.

Следование(импликация).
обозначение: “->”
Попробуйте самостоятельно объяснить принцип её работы

Следование(импликация).
обозначение: “->”
В каком случае при учете выражения А верно выражение В?
1. Студент выучил все билеты
2. Студент успешно сдал экзамен

Следование(импликация).
обозначение: “->”
В каком случае при учете выражения А верно выражение В?
1. Студент выучил все билеты
2. Студент успешно сдал экзамен

Равнозначность(эквиваленция).
обозначение: “ ≡ ”
Даёт положительный ответ при сравнении одинаковых по заданному признаку объектов
В семье 2 ребенка. В каком случае они одного пола?

Равнозначность(эквиваленция).
обозначение: “ ≡ ”
Даёт положительный ответ при сравнении одинаковых по заданному признаку объектов
В семье 2 ребенка. В каком случае они одного пола?

Исключающее ИЛИ
обозначение: “ ”
Даёт положительный результат в случае истинности только 1 из множества переменных
Школьник выбирает, пойти
в 10 класс или в колледж

Исключающее ИЛИ
обозначение: “ ”
Даёт положительный результат в случае истинности только 1 из множества переменных
Школьник выбирает, пойти
в 10 класс или в колледж

Приоритет логических операций

Тождества

Тождества

Законы

Законы

Законы