На пике указывается на импликацию =>
в таблице 2.5 указанно
Истина => Ложь
Значит выражение ложное
дальше указывается в таблице 2.6
не истина => не ложь
выражение ложное что противоречит таблице 2.5
То есть у него выходит следующие
если P истина а Q ложь
( P => Q ) ложь
( (не P) => (не Q) ) тоже ложь но ведь это неверно
во втором случаи просто поменяются местами истина и ложь получим
ложь => истина
Импликация верна
Хаггарди Пидорас
онлайн калькулятор вбейте туда эти выражения
Старый черт или редактор допустили ошибку
у него и в другом выражении в упражнениях такие "опечатки", такое чувство будто печатал человек которому просто до пизды это все
>такое чувство будто печатал человек которому просто до пизды это все
Не все переводчики энтузиасты-математики, им и вправду до пизды что они набирают там.
>>45931
>>45932
>>45933
Тред уже закрыли, пояснив, что оп в шары ебётся, а вы всё ещё обсуждаете несуществующие опечатки :3
скажи где есть опечатка в выражении ( (не P) => (не Q) )
чтоб оно было эквивалентно ( P => Q )
опечатка в двух "не"
всё верно
ты просто даунич
A=>B := (B или не A)