我們用符號來表示:
結論:SOP；有些蝶泳不是自由泳。
前提:帕姆；；所有自由泳都是蛙泳。
(1)答:M’是？SIM′？SOM(M '表示非M，？表示等效轉換)
三段論:
脈沖幅度調制 （Pulse Amplitude Modulation的縮寫）
索姆
標準作業程式(standard operating procedure)
正確；
(2)B:S’OM？s ' IM '？m′是′？m′OS；
前提:帕姆？PEM′；
三段論:(以M '為中詞)
質子交換膜
m’OS
標準作業程式(standard operating procedure)
錯誤:兩個前提都是否定判斷，無法得出結論。