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