(logic) A logical argument of the form that if there are only two possibilities, and one of them is ruled out, then the other must take place. In symbols: P∨Q,¬P⊢Q
disjunctive syllogism
討論で彼女は、AかBのどちらかしかない場合にAが否定されればBが導かれるという形式の論証(選言三段論法)を用いて、Aを排除すればBを採用せざるを得ないことを示した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★