下列式子不是谓词合式公式的是

下列式子为重言式的是

在指定的解释下，下列公式为真的是

对于公式（（x）（（y）（P（x）∧Q（y））→（（x）R（x，y），下列说法正确的是

设论域为{1，2}，与公式（（x）A（x）等价的是

设Z+是正整数集，R是实数集，f:Z+→R，f（n）=log2n，则f

设R1和R2是集合A上的相容关系，下列关于复合关系R1（R2的说法正确的是

下列运算不满足交换律的是

设A是偶数集合，下列说法正确的是

设*是集合A上的二元运算，下列说法正确的是