问答题
求谓词公式∀x （P→Q （x））∧R（f （a ））的真值。其中P：4〉3，Q（x）：x〉1，R（x）：x≤2。f（−3）=1，f（1）=5，f（5）=−3，a：5。个体域D=（−3，1，5）。
真。
问答题 回答下列代数系统是环吗？是交换环吗？（Mn（R），＋，°），其中Mn（R）是n 阶实矩阵全体，＋，°分别是矩阵的加法和乘法。
问答题 回答下列代数系统是环吗？是交换环吗？（Zm，＋，*），其中Zm＝{0，1，2，…，m －1}，＋和*是模m 加法和乘法。
问答题 将公式F∀x（A（x）→B（x，y））→（∃yC（y）→∃zD（y，z））化为前束范式。
