填空题
用列元素法表示S4={x∣x∈R∧x2-1=0∧x〉3}集合为()。
问答题 判断图中的格是否为分配格。
问答题 求图中格L的所有子格。
问答题 在自然推理系统中,构造下面用自然语言描述的推理: 火车都比汽车快,汽车都比轮船快,a是火车,b是汽车,c是轮船。所以,a比b快,b比c快。