Теперь Кью работает в режиме чтения

Мы сохранили весь контент, но добавить что-то новое уже нельзя

Как пояснить закон Пирса ((P→Q)→P)→P на конкретном примере?

Логика
Alexei Medvedev
  ·   · 2,7 K
Специалист в области разработки систем...  · 8 дек 2016

Я думаю, в обыденных высказываниях вряд ли можно проиллюстрировать это выражение, так как логика получается слишком вычурная. Но доказать его истинность очень просто, составив таблицу истинности от двух аргументов и убедившись, что она во всех четырёх случаях даёт истину.

Хм. Таблицу я уже составил. Более того, даже вывод понимаю. Но не странно ли это, что нельзя привести ни одного... Читать дальше
Оператор линии поверхностного монтажа изделий на...  · 8 дек 2016
Вот нашел красивое пояснение. Чтобы доказать этот логический закон, нужно знать определения импликации и тавтологии, а также тот факт, что в классической логике каждое высказывание принимает в точности одно логическое значение... Читать далее

вот это нормальный заход, спасибо!