Учебник дискретной математики Хаггарти

Автор темы grob 
ОбъявленияПоследний пост
ОбъявлениеРаботодателям и кадровым агентствам: Размещение вакансий и рекламы в форуме26.03.2008 03:07
ОбъявлениеРекомендации по использованию теха в нашем форуме15.04.2017 21:40
ОбъявлениеПравила и принципы форума «Высшая математика»28.10.2009 15:17
29.11.2018 13:07
Учебник дискретной математики Хаггарти
дана таблица импликации =>

И - Истина, Л - Ложь

P Q P => Q

И И И (из истины следует истина)
И Л Л
Л И И (из лжи может следовать что угодно)
Л Л Л (ложь порождает ложь)

Единственный раз когда импликация ложна это когда Истина => Ложь

Дальше дается пример для сравнения ( P => Q ) и ( (не P) => (не Q) ), указываются что они эквиваленты что если при одинаковых значениях P и Q они будут выдавать одинаковый результат ложности или истинности

Есть момент когда мы подаем P как истина и Q как ложь первое выражение ложно ( P => Q ) но ( (не P) => (не Q) ) второе должно быть истинно потому как там все наоборот из за отрицания стоящего перед ними в скобках но там все равно указывается что оно ложно, кто прав?

https://savepice.ru/full/2018/11/29/c308265bb03bf06fbedf9cc537464e36-full.jpg.html



Редактировалось 1 раз(а). Последний 29.11.2018 13:13.
29.11.2018 20:55
Проверьте запись еще раз
( P => Q ) и ( (не P) => (не Q) - это не эквивалентные высказывания.
Эквивалентны эти:
( P => Q ) и (не Q) => (не P)
Возможно, Вы невнимательно списали, возможно, опечатка в источнике смущает народ.
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти