证明：正有理数集Q+,关于普通乘法运算构成交换群。

用CP规则证明下面有效推理。前提：p→r,¬qVp,s→q结论：s→r

令p:今天我上班，q:今天我休息。命题“今天我要么上班要么休息”的符号化形式为

设令F(x):x是火车，G(x):x是汽车，L(x,y):x比y快。命题“有的火车比有的汽车快”的符号化形式为

下列关于小项和大项的性质表述正确的是

下图中是欧拉图的为

设有非空集合A上的全域关系S,则关系S不是

简单无向图G有9条边，每个结点都是3度结点，则G的结点数为

下列谓词恒等式，不正确的是

下列度数序列中，不能构成简单无向图的是