Алгебра логики. Высказывание

1. АЛГЕБРА ЛОГИКИ. ВЫСКАЗЫВАНИЕ.

Выполнили: Радяк Дмитрий,
Радяк Данил

2.

Высказывание в алгебре
логики
что это такое?
из чего
состоит?
виды
операции над
высказыванием

3. Высказывание -

ВЫСКАЗЫВАНИЕ это повествовательное предложение, записанное
с помощью буквенных символов и логических
связок (может быть истинным или ложным)

4.

Состав высказывания
Логические
переменные
Логические значения

5.

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

6.

вид
ИНВЕРСИЯ
интерпретация
Логическая операция,
которая каждому
высказыванию ставит в
соответствие новое
высказывание, значение
которого противоположно
исходному
обозначение
(логические
связки)
НЕ;¬;− («не», «неверно,
что»)
КОНЪЮНКЦИЯ
логическая операция,
ставящая в соответствие
каждым двум
высказываниям новое
высказывание, являющееся
истинным тогда и только
тогда, когда оба исходных
высказывания истинны
И,ˆ,⋅,& («и», «а», «но»,
«хотя»)
ДИЗЪЮНКЦИЯ
логическая операция,
которая каждым двум
высказываниям ставит в
соответствие новое
высказывание, являющееся
ложным тогда и только
тогда, когда оба исходных
высказывания ложны
ИЛИ;∨;|;+ («или»)
пример
Неверно, что Венера –
самая большая планета (¬
А)
Мой папа – инженер и
заместитель директора
(A&B)
Завтра мы пойдем в поход
или на озеро (A|B)