Логические операции

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

Конъюнкция логическое умножение Обозначения,., &, И Слова связки И, А, НО, ХОТЯ АВА и В A B А – Я люблю смотреть телевизор В – Я люблю есть мороженое А и В - Я люблю смотреть телевизор и есть мороженое

Дизъюнкция логическое сложение Обозначения ˅, +, |, ИЛИ Слова связки или АВА или В A B А - Саша учится в школе В – Саша окончил школу А или В - Саша учится в школе или окончил её.

Инверсия логическое отрицание ОбозначенияНЕ, ¬, ¯ Слова связки Неверно, что…; не… АĀ Ā А А - Саша учится в школе не А - Саша не учится в школе.

Импликация логическое следование Обозначение Слова связки если…, то… АВ А В А – Я выучу уроки. В – Я пойду в кино А В - Если я выучу уроки, то пойду в кино.

Эквивалентность логическое равенство Обозначение Слова связки …тогда и только тогда, когда.. АВ А В А – Угол называется прямым. В – Угол равен А В Угол называется прямым тогда и только тогда, когда он равен 90 0.