出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第75页（245字）
后期墨家提出的一种附性法直接推理(复杂概念推理)。
《小取》篇定义说：“侔也者，比辞而俱行也。”即在原判断主、谓项前附加意义相同的成分而构成新判断的推理形式。正确的侔式推理墨家叫“是而然”，即前提是肯定的，在主、谓项前附加同一成分后构成的新判断也是正确的。如“白马，马也。乘白马，乘马也。”如果在主、谓项前附加同一成分后，虽然新构成的语词相同，但意义改变，则结论就是错误的了。
这种情况墨家叫“是而不然”。如“弟，美人也。爱弟，非爱美人也。
”