填空题
取解释I为:个体域为D={a},F(x):x具有性质F,在I下的真值为()。
1
x,y∈R,求xVy,xΛy。
问答题∀x,y∈R,求xVy,xΛy。
公式的类型为()。
说明<R,≤>是否构成格。
问答题说明<R,≤>是否构成格。