Definition:Logical Constant