Заказ: 1037912

Проверить правильность суждений средствами логики суждений: «Иванов утверждает, что не встречал этой ночью Сидорова. Если Иванов не встречал Сидорова этой ночью Сидорова, то либо Сидоров был убийцей, либо Иванов лжет. Если Сидоров не был убийцей, то Иванов не встречал его этой ночью, а убийство было совершено после полуночи. Если убийство было совершено после полуночи, то либо Сидоров был убийцей, либо Иванов лжет. Следовательно, убийцей был Сидоров».

Проверить правильность суждений средствами логики суждений: «Иванов утверждает, что не встречал этой ночью Сидорова. Если Иванов не встречал Сидорова этой ночью Сидорова, то либо Сидоров был убийцей, либо Иванов лжет. Если Сидоров не был убийцей, то Иванов не встречал его этой ночью, а убийство было совершено после полуночи. Если убийство было совершено после полуночи, то либо Сидоров был убийцей, либо Иванов лжет. Следовательно, убийцей был Сидоров».
Описание

Подробное решение в WORD

Проверить правильность суждений средствами логики суждений: «Иванов утверждает, что не встречал этой ночью Сидорова. Если Иванов не встречал Сидорова этой ночью Сидорова, то либо Сидоров был убийцей, либо Иванов лжет. Если Сидоров не был убийцей, то Иванов не встречал его этой ночью, а убийство было совершено после полуночи. Если убийство было совершено после полуночи, то либо Сидоров был убийцей, либо Иванов лжет. Следовательно, убийцей был Сидоров».