Импликация (логика)
Apr. 3rd, 2016 04:43 pm![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
а а posting in ![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png){kind=small}
useful_faqДобрый день!
Помогите разобраться с вышеуказанной логической операцией.
Ее суть - если действительно А, то действительно В. Или - неправда, что А действительно, а В недействительно. А наоборот так же верно? (Неправда, что В действительно, а А недействительно).
Гляжу вот на таблицу истинности, но смысла не ловлю никак. Остальные логические операции по таблице вполне ясны.
Пример из википедии (про начальника и подчиненного) мне вообще непонятен.
Спасибо!
Помогите разобраться с вышеуказанной логической операцией.
Ее суть - если действительно А, то действительно В. Или - неправда, что А действительно, а В недействительно. А наоборот так же верно? (Неправда, что В действительно, а А недействительно).
Гляжу вот на таблицу истинности, но смысла не ловлю никак. Остальные логические операции по таблице вполне ясны.
Пример из википедии (про начальника и подчиненного) мне вообще непонятен.
Спасибо!
no subject
Date: 2016-04-03 08:33 pm (UTC)То, что думает Катя, указано во внутренних скобках. Это выражение по форме (но не по значениям) соответствует строчкам из таблицы истинности по имликации, поэтому и соответствие такое же, как и в "переводе" выше, просто русские слова вольно переставлены.
Суть в том, что любое логическое выражение можно рассматривать, как мнение какого-то человека (Кати) и само это выражение "проверить" на истинность. Так можно получать систему "вложенных" истин.