《墨子·小取》所列侔式推论的五种情况之一。从一个肯定的命题（前提）推得另一个肯定的命题（结论）。《小取》：“白马，马也；乘白马，乘马也。骊马，马也；乘骊马，乘马也。获，人也；爱获，爱人也。臧，人也；爱臧，爱人也。此乃是而然者也。”“乃是而然”的原因在于侔式推论中不存在“言多方，殊类，异故”的情况，即推论过程中每个概念和判断都保持着确定性。这是侔式推论正确性的唯一保证。