Условие:
Являются ли правильными следующие рассуждения?
Если философ — дуалист, то он не материалист. Если он не материалист, то он диалектик или метафизик. Он не метафизик. Следовательно, он диалектик или дуалист.
Решение:
Если философ дуалист (p), то он не материалист (q).
Если он не материалист (q), то он диалектик (r) или метафизик (s).
Он не метафизик (s).
Следовательно, он диалектик (r) или дуалист (p).
Символическая запись:
