![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Высказывание – любое утверждение, про которое можно сказать истинно оно или ложно.
Высказывание обозначается заглавной буквой латинского алфавита, возможно с индексом.
А | и | истинно | |
А | л | ложно |
Основные логические операции:
Отрицание:
Под отрицание А подразумевается высказывание, которое истинно только тогда, когда высказывание А – ложно
Синонимы: «неверно, что…»
Обозначение:
Таблица истинности:
А | ![]() |
и | л |
л | и |
- закон двойного отрицания
Дизъюнкцией высказывания А и В называют высказывание, которое истинно, если А или В истинно.
Синонимы: «Или А или В»
Обозначение:
Таблица истинности:
А | В | ![]() |
и | и | и |
и | л | и |
л | и | и |
л | л | л |
Конъюнкцией высказывания А и В называют высказывание, которое истинно только тогда, когда истинны оба высказывания
Синонимы: «И А и В»
Обозначение:
Таблица истинности:
А | В | ![]() |
и | и | и |
и | л | л |
л | и | л |
л | л | л |
Импликацией высказывания А и В называют такое высказывание, которое истинно только тогда, когда либо ложна посылка, либо истинно заключение
Синонимы: «Если…, то…», «…влечет…», «…следует из…»
Обозначение:
Таблица истинности:
А | В | ![]() |
и | и | и |
и | л | л |
л | и | и |
л | л | и |
Эквивалентным высказывание является высказывание, которое истинно только тогда, когда А и В принимают одинаковы значения истинности
Синонимы: «А только тогда, когда В», «если и только если», «А влечет В и наоборот», «А и В равносильны»
Обозначение:
Таблица истинности:
А | В | ![]() |
и | и | и |
и | л | л |
л | и | л |
л | л | и |
О – тождественно ложное высказывание (всегда ложно)
1 – всегда истинно
А | ![]() |
и | л |
л | л |
Синонимы: ни А, ни В
Обозначение:
Таблица истинности:
А | В | ![]() |
и | и | л |
Дата публикования: 2015-03-26; Прочитано: 213 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!