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