墨家的反驳方法。一种相当于反映命题之间矛盾关系的直接推论。《墨子·经上》：“止，因以别道。”别道，区别正确与错误。“类以行之”（《经下》）是其推论原则。如可以用“有人不会游泳”反驳“所有的人都会游泳”，而不能用“有人不会打乒乓球”反驳“所有的人都会游泳”。墨家对“止”的两种具体论式作了分析。其一，《经说上》：“彼举然者，以为此其然也，则举不然者而问之。”辩论一方举出一个或一些事例，便推出一个普遍性命题（“此其然也”），另一方则举出一个反例（“举不然者”）推翻这个普遍性命题。这是一个相当于用单称或特称否定命题，反驳全称肯定命题的推论。通过这种“止式”可以把对方提出的不够正确的普遍性道理（“道”）加以限制和纠正。其二，《经说下》：“（止）彼以此其然也，说是其然也；我以此其不然也，疑是其然也。”辩论一方根据一个错误的普遍性道理（“此其然也”）推出其中某物也必为“其然”；另一方则通过指出这个普遍性道理的错误，对某物的“其然”表示怀疑。这是一个相当于用全称否定命题反驳单称（或特称）肯定命题的推论。