disjunctive syllogism

Noun

 * 1)   In symbols: $$P \vee Q, \neg P \vdash Q$$

Translations

 * Catalan: sil·logisme disjuntiu
 * Chinese:
 * Mandarin: 选言三段论
 * French: syllogisme disjonctif
 * German: disjunktiver Syllogismus
 * Italian: sillogismo disgiuntivo
 * Japanese: 選言三段論法
 * Korean: 선언적 삼단 논법
 * Serbo-Croatian: дисјункциони силогизам, disjunkcioni silogizam
 * Spanish: silogismo disyuntivo