Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований, а также путем построения дерева доказательства (дерева редукции).

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

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

Определить, верно ли логически приведенное рассуждение, не принимая во внимание его несоответствие реальности (свой ответ обоснуйте): «Ни один слон не служит в армии. Все люди – слоны.