判断题联结词集合{7，→}是功能完备集。
判断题整数集合{1，2，3，4，6，12}关于整除关系构成了偏序集，并且该偏序集是格。
判断题整数集合Z和普通的减法运算是封闭的。
判断题“如果天气好，那么我去散步”是命题。
判断题“明天是否开大会？”是命题。（）
