逻辑变量和逻辑常量