"Александр Быстров. Сборник задач / тестов по логике для студентов ВУЗов" - читать интересную книгу автора

20.19 ( ( p ( q ) ( ( ( p R q )
20.20 ( p ( ( q ) ( ( ( p R q )
20.21 ( ( p ( ( q ) R ( ( p ( q )
20.22 ( p ( q ) " ( p ( ( p ( q ) ( q )
20.23 ( p R ( q R s ) ) R ( ( p R q ) R ( p R s ) )
20.24 ( p R ( q ( s ) ) ( p
20.25 ( p ( ( p R ( q ( s ) )
20.26 ( ( p ( q ) ( s ) R ( q
20.27 ( p ( q ) R ( s ( ( p )
20.28 ( p R ( q ( s ) ) ( ( p
20.29 (( p " ( q R s )) R p
20.30 ( p R ( q ( s ) ) R ( ( p ( s ) R q )

21.0 Установите, являются ли следующие рассуждения правильными -
21.1
Если Свенсон был причастен к ограблению банка, то банковский код стал
известен похитителям уже в пятницу утром.
Если банковский код им был уже известен хотя бы в субботу, то Эриксон нам
лжёт, и миссис Адамс действительно опознала в Свенсоне того рассеянного
посетителя, который вернулся в офис перед самым его закрытием "якобы
потому, что забыл в кабинете управляющего свою записную книжку".
Выяснилось, что миссис Адамс не обозналась, это был именно Свенсон.
Также установлено, что Эриксон вообще никогда не лжёт.
Следовательно -
Свенсон не был причастен к ограблению банка.
21.2
? " ?
Следовательно -
Свенсон был причастен к ограблению банка.
21.3
Если фирма "Берджих Микульски и К(" в прошлый четверг была объявлена
банкротом, то или пани Бржыньська переоформила дарственную на пана
Бржегови, или Яцек нас дезинформирует.
Если пани Бржыньська дарственную на пана Бржегови не переоформляла, то
"Берджих Микульски и К(" банкротом в прошлый четверг объявлена не была, и
пан Микульски судиться не будет.
Если пан Микульски судиться не будет, то либо Яцек нас дезинформирует,
либо пани Бржыньська переоформила-таки дарственную на пана Бржегови.
Следовательно -
Пани Бржыньська дарственную на пана Бржегови переоформила.




АВТОРСКАЯ СПРАВКА


Александр Вениаминович Быстров -

кандидат философских наук,