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

Если философ дуалист (p), то он не материалист (q).

Если он не материалист (q), то он диалектик (r) или метафизик (s).

Он не метафизик (s).

Следовательно, он диалектик (r) или дуалист (p).

Символическая запись: