Задачи на выявление логической формулы

1) Действительный мир является наилучшим из всех возможных миров. Ведь если допустить обратное, то Бог либо не смог себе представить наилучший мир, либо не смог его сотворить, либо не захотел сотворить такой мир. Но Бог мудр, всемогущ и всеблаг. Поскольку Бог мудр, он смог бы представить себе наилучший мир. Поскольку Бог всемогущ, он мог бы сотворить его. Поскольку Бог всеблаг, он хотел сотворить такой мир. Поэтому неверно, что бог не смог представить или не смог сотворить или не захотел сотворить наилучший мир. Таким образом, допущение того, что действ мир не является наилучшим, приводит нас к противоречию. 

2) Ах правда ли Сальери, чтобы Марше кого-то отравил? Не думаю, он слишком был смешон для ремесла такого. Он же гений, как ты да я. А гений и злодейство две вещи несовместимы. 

3) Если умер Сократ, то он умер, когда жил или когда умер. И, если, когда жил, то он не умер, так как один и тот же человек и жил бы и был бы мертв. Но и не тогда, когда умер. Или он был бы дважды мертвым. Стало быть, Сократ не умер.