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

вышел в тот день через чёрный ход, тогда и только тогда, когда записку
портье он всё же передал, а через чёрный ход в тот день не выходил.
18.2 То, что графиня оформила завещание на господина Швиндлера, и оно не
сгорело во время пожара, случившегося неделею позже, неверно, лишь при
условии, что завещание она на него не оформляла или оно во время
упомянутого пожара сгорело.

19.0 Произведите отрицание следующих суждений (запишите их на ЯЛС,
произведите отрицание логической формы, сформулируйте результат отрицания
содержательно) -
19.1 Мороз крепчает или отопление отключают.
19.2 Ребёнок он способный и усидчивый.
19.3 Ему нездоровится или он устал.
19.4 В огороде бузина, а в Киеве дядька.
19.5 Сошьют кафтан - поеду свататься.
19.6 Если он выпрыгнул в окно, то на клумбе должны быть помяты цветы.
19.7 Если он спустился по пожарной лестнице - недавно покрашенной, то
на перекладинах стёрта краска.
19.8 Если мы остановимся здесь на ночлег, то продрогнем и проголодаемся.
19.9 Кражу совершил или Джон Джэксон, или Джэк Джонсон.
19.10 Если события будут развиваться слишком быстро, то или пани
Бржыньська переоформит дарственную на пана Бржегови или пан Кржымек
отзовет свой иск.
19.11 Человек счастлив тогда и только тогда, когда он сытно поел.
19.12 Лишь четырехкрылые насекомые - летающие насекомые.
19.13 Если миссис Адамс не обозналась, то или Эриксон лжёт или утечка
конфиденциальной информации произошла уже в четверг, где-то в конце
рабочего дня.

20.0 Вычислите логическую вероятность следующих сложных суждений и
укажите, какие суждения являются логически истинными, логически ложными,
фактическими -
20.1 Если p имплицирует не-q , то неверно, что p.
20.2 P имплицирует отрицание конъюнкции p и q .
20.3 Неверно, что конъюнкция p и q имплицирует p .
20.4 Не только конъюнкция не-p и q , но и строгая дизъюнкция p и не-q !
20.5 Отрицание дизъюнкции p и не-q имплицирует конъюнкцию не-p и q
20.6 Строгая дизъюнкция p и q имплицирует дизъюнкцию s и не-p .
20.7 ( (( p ( q ) R p )
20.8 p R ( ( p ( q )
20.9 ( p R ( q ) R ( p
20.10 ( ( p ( q ) ( ( p ( ( q )
20.11 ( ( p ( q ) ( ( p ( ( q )
20.12 ( ( p ( q ) ( ( p ( ( q )
20.13 ( ( p ( q ) R ( ( p R q )
20.14 ( p ( q ) R ( ( p R q )
20.15 ( ( p ( q ) R ( p R q )
20.16 ( p R q ) R ( ( p ( q )
20.17 ( p ( ( q ) ( ( p R q )
20.18 ( ( p R ( q ) ( ( p ( q )