Упражнение по логике
Утром провожу контрольную по логике для своего 2-го курса. Заданьице уже можно выкладывать.
Осуществить в-формализацию следующего текста:
В результате предварительного расследования дела о краже двух литров огуречного рассола из комнаты дежурного помощника инспектора нижесредненской семинарии было выявлено два подозреваемых: воспитанник Петраков и воспитанник Каблуков (достоверно известно, что никто другой не может быть похитителем). Когда исчез рассол, воспитанник Петраков находился в семинарии, однако факт его присутствия в стенах духовной школы во время совершения кражи еще не дает оснований обвинять его. С другой стороны, воспитанник Каблуков никогда ни с кем не делится огуречным рассолом, поэтому он не мог совершить преступление вместе с воспитанником Петраковым. Инспекция пришла к выводу о невиновности воспитанника Петракова.
Дополнительное задание: без построения таблицы истинности, «на глазок» оцените правильность вывода инспекции.