Таблица истинности импликации (логическое ЕСЛИ-ТО)

Импликация (по-латински implicatio — связь)

Импликацией двух высказываний a и b («ЕСЛИ-ТО») называется новое высказывание, которое ложно тогда, когда a (предпосылка) - истинно, а b (следствие) - ложно и истинно во всех остальных случаях.

Импликация записывается как посылка - следствие.

Знаком импликации является .

Значения функции импликации представлены в таблице:

aba→b
001
011
100
111

Синонимы импликации:

  • Когда А, то B
  • В в том случае, если А
  • При А В
  • Из А следует В
  • В случае А произойдет В
  • В, так как А
  • В потому, что А
  • Без А не будет В
  • В невозможно в отсутствие А
  • В необходимое условие для А
  • А достаточное условие для В.

 

К логическим операциям так же относятся:

 

Унарные:

Бинарные

Чтобы построить таблицу истинности онлайн по заданной формуле или вектору вы можете воспользоваться нашим сервисом, который кроме того так же вычисляет СКНФСДНФ, строит полином Жегалкина. Результат работы можно скачать в формате rtf, который открывается любым текстовым редактором (MS Word, Open Office Write и т.д.)


Наши друзья

Качественное решение задач курсовых работ, РГЗ по техническим предметам.
botaniks.ru

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2017, Список Литературы