Где золото? | Логические задачи | Архив. Джем Клубничный - премия

(A => (B & Z)) & (B => (~A & Z)), где A — надпись на коробочке A, B — на B, Z — золото в коробочке (~A & Z) v (~A & ~B) — и еще чуть чуть, заодним убиваем дубль ~A в конъюнкции Вывод: надпись A неверни и либо неверна и надпись Б, либо золото в коробочке А (либо и то и другое одновременно ;)) вообще же, если мы используем в не импликацию, а эквивалентность, то получаем (~A & ~B & ~Z) — т.е. верить нельзя ничему, но такого рода формализация мне не представляется адекватной (т.к. из лжи может следовать все что угодно, в т.ч. и истина)

Hosted by uCoz