选言三段论
選言三段論 (Disjunctive Syllogism)，也叫做析取三段論或拒取式（modus tollendo ponens，字面意思：通過否定來肯定）是有效的簡單的論證形式：

P 或 Q
非 P
所以 Q 在邏輯運算符記號中：

  
    
      
        p
        ⊻
        q
      
    
    {\displaystyle p\veebar q}
  ，
¬ 
  
    
      
        p
        
      
    
    {\displaystyle p\quad}
  

  
    
      
        ⊢
        q
      
    
    {\displaystyle \vdash q}
  這裡的
  
    
      
        ⊢
      
    
    {\displaystyle \vdash}
  表示邏輯斷言。
粗略的，我們可以說一個或另一個是真；接著我們可以說一個不是真；那麼我們可以推導出另一個必須是真。這種推理叫做 "選言三段論"，就是說，首先它是三段論 -- 三個步驟的論證 -- 其次它包含一個析取式，它簡單的意味著一個 "或" 陳述。"要麼 P 要麼 Q" 是一個析取式；P 和 Q 叫做這個陳述的離析項（disjunct）。
一個例子：

我要麼選擇湯要麼選擇沙拉。
我不選擇湯。
所以，我選擇沙拉。另一個例子：

要麼小王贏要麼小張贏。
小王沒有贏。
所以，小張贏了。