選言三段論法

「他人は皆、敵か味方かのいずれかだ」という選言命題と「君は僕の敵ではない」という一方の選言肢の否定から「君は僕の味方だ」を導くのは、選言三段論法による妥当な推論である。

「君」が他人であることが前提となる。