Логика для юристов.

[море счастья]

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

[Белый кролик]

Еще раз будете искусственно поднимать тему - получите бан на неделю.
Лучше выкладывайте как делали, почитайте анологичные примеры и пытайтесь решать через круги Эйлера.