用列元素法表示S₄={x∣x∈R∧x²-1=0∧x〉3}集合为（）。

判断图中的格是否为分配格。

问答题

判断图中的格是否为分配格。

求图中格L的所有子格。

问答题

求图中格L的所有子格。

在自然推理系统中，构造下面用自然语言描述的推理： 火车都比汽车快，汽车都比轮船快，a是火车，b是汽车，c是轮船...

问答题

在自然推理系统中，构造下面用自然语言描述的推理：
火车都比汽车快，汽车都比轮船快，a是火车，b是汽车，c是轮船。所以，a比b快，b比c快。