![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Название | Обозначение | Как читается |
Отрицание | ![]() ![]() ![]() | Не x; неверно, что x |
Конъюнкция | ![]() ![]() ![]() | x и y |
Дизъюнкция | ![]() | x или y |
Импликация | ![]() | Если x, то y; из x следует y |
Эквивалентность (эквиваленция) |
![]() | Для того, чтобы x, необходимо и достаточно, чтобы y; x тогда и только тогда, когда y |
Определение 1. Отрицанием высказывания x называется новое высказывание, которое является истинным, если высказывание x ложно, и ложным, если высказывание x – истинно.
Определение 2. Конъюнкцией (логическим умножением) двух высказываний x и y, называется новое высказывание, которое считается истинным, если оба высказывания x, y истинны, и ложным, если хотя бы одно из них ложно. Высказывания x, y называются членами конъюнкции.
Определение 3. Дизъюнкцией (логическим сложением) двух высказываний x и y, называется новое высказывание, которое считается истинным, если хотя бы одно из высказываний x, y истинно, и ложным, если они оба ложны. Высказывания x, y называются членами дизъюнкции.
Определение 4. Импликацией двух высказываний x и y, называется новое высказывание, которое считается ложным, если x истинно, а y – ложно, и истинным во всех остальных случаях. Высказывание x называется условием или посылкой, а y – следствием или заключением.
Определение 5. Эквивалентностью (эквиваленцией) двух высказываний x и y называется новое высказывание, которое считается истинным, когда оба высказывания x, y либо одновременно истинны, либо одновременно ложны, и ложным во всех остальных случаях.
Логические значения результатов операций можно описать с помощью следующих таблиц истинности (табл. 2):
Таблица 2
![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |
Дата публикования: 2014-11-03; Прочитано: 1292 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!