第二种逻辑有效的演绎形式是否定后件式 (modus tollens)(“否定式”:否定q,所以否定p )。
如果p,那么q。
非q。
那么,非p。
这里,“非q”的意思是q的否定,也就是说,“q不正确”。“非p”同理。
想扮演侦探吗?在《银斑驹》中,歇洛克·福尔摩斯在关键时刻使用了否定后件式 推理形式。马从一个戒备森严的谷仓里被偷走了。谷仓有一条狗,但狗没有吠叫。现在我们如何理解这种情况。
马厩里养着一条狗;然而,尽管有人进入马厩并牵走了一匹马,(这条狗)却没有叫……显然,……来者是这条狗相当熟悉的一个人。 [4]
福尔摩斯的论证可以按照否定后件式 的形式列出来:
如果来者是陌生人,那么狗会叫。
狗没有叫。
那么,来者不是陌生人。
用符号改写的话,你可以用s代表“来者是陌生人”,用b代表“狗叫”。
如果s,那么b。
非b。
那么,非s。
“非b”代表“狗没有叫”,“非s”代表“来者不是陌生人”。用福尔摩斯的话说,就是“来者是这条狗相当熟悉的一个人”。