厘定命题
逻辑对象