Верно ли рассуждение? Для анализа постройте соответствующую формулу. Если философ – дуалист, то он не материалист. Если он не материалист, то он диалектик или метафизик. Он не метафизик. Следовательно, он диалектик или дуалист.

Предыдущий
вопрос Следующий
вопрос

Данное рассуждение верно.

Обозначим
Д: философ является дуалисто
М: философ является материалисто
Ди: философ является диалектико
Ме: философ является метафизиком

Тогда условие можно записать следующим образом:

D -> ~M (Если философ дуалист, то он не материалист)~M -> (Ди v Ме) (Если философ не материалист, то он диалектик или метафизик)~Me (Философ не метафизик)

Докажем, что философ либо диалектик, либо дуалист
Из (1) и (2) по правилу импликации получаем: ~M -> (Ди v Ме
Из отрицания правила дизъюнкции получаем: ~M -> Д
Так как философ не метафизик (по условию 3), то философ должен быть диалектиком или дуалистом.

Следовательно, философ в данном случае может быть либо дуалистом, либо диалектиком.