填空题
设F（x）：x具有性质F，G（x）：x具有性质G。命题“对所有的x而言，若x有性质F，则x就有性质G”的符号化形式为（）。
问答题 请给出公式一个成真解释和一个成假解释。
问答题 判断下列各式的类型：
问答题 画出群＜Z18，⊕＞的子群格。
