Высказывание - это форма мышления, выраженная повествовательным предложением, в которой что-либо утверждается или отрицается об объектах, их свойствах или отношениях.
ПРОСТОЕ высказывание (логическая переменная) - высказывание, в котором ни одна его часть сама не является высказыванием.
СЛОЖНОЕ высказывание (логическая функция). Состоит из нескольких простых высказываний, соединенных между собой с помощью логических операций
Мы часто используем сложные высказывания в речи, например:
- В портфеле ученика лежат учебники, тетрадки и ручки.
- Если завтра будет дождь, то мы с папой не поедем в лес.
- В нашем классе ребята занимаются плаванием или атлетикой.
Какие связки мы используем при построении сложных высказываний?
Основные операции булевой алгебры
- Конъюнкция – И, логическое умножение.
- Дизъюнкция – ИЛИ, логическое сложение
- Отрицание - НЕ
- Импликация – логическое следование
- Эквиваленция – логическое тождество
Любое сложное высказывание можно записать с помощью основных логических операций И, ИЛИ, НЕ.
Порядок выполнения логических операций
1) операции в скобках;
2) отрицание;
3) логическое умножение;
4) логическое сложение;
5) импликация;
6) эквиваленция.