说一个命题被说成是从另外两个命题推演出来的（follow），当这两个命题被承认为真时，那就不可能否认这个命题也是真的。例如，让我们假定每个人都是一个生物和每个生物都是一个物体这样两个命题都为真，这也就是说，物体是每一个生物的名称，而生物又都是每个人的名称。因此，既然这样两个命题都被理解为是真的，那就不可能将物体不是每一个人的名称，也就是说，那就不可能将每一个人都是一个物体，理解成假的，这个命题就会被说成是从那两个命题中推演出来的，或者说是必然地从它们推论出来的。
