Операция импликация
Импликация(лат. implico — тесно связаны) - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание - A) истинно, а следствие (второе высказывание - B) ложно.
В естественном языке: соответствует обороту Если A, то B.; А влечёт В; или Из А следует В. Импликация обозначается через .
Таблица 2.4
Операция импликация
А (вход) | B(вход) | A ® B (выход) |
Операция эквивалентность. Двойная импликация
Эквивалентность – это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.
В естественном языке: соответствует оборотам речи Тогда и только тогда, В том и только в том случае. В литературных источниках встречаются следующие обозначения эквивалентности: , .
Таблица 2.5
Операция эквивалентность
А (вход) | B(вход) | A B (выход) |
Дата добавления: 2016-04-11; просмотров: 675;