出处：按学科分类—哲学、宗教 辽宁人民出版社《诸子百家大辞典》第879页（195字）
墨家逻辑用语。
《墨子·小取》所列“侔”式推论的五种情况之一。从一个肯定的命题(前提)推得另一个肯定的命题(结论)。《小取》：“白马，马也；乘白马，乘马也。……臧，人也；爱臧，爱人也。
此乃是而然者也。”“乃是而然”的原因在于侔式推论中不存在“言多方，殊类，异故”的情况，即推论过程中每个概念和判断都保持着确定性。这是侔式推论正确性的唯一保证。