断定或肯定为一种性质、属性或特性逻辑的效用是用一个单一的实例来论断对其一切同类型事物都是真的