问答题
求命题公式（P∨Q）→（R∨Q）的主析取范式、主合取范式。
主析取范式：（P→R）∧（Q→R） 主合取范式：（P∨R）∧（Q∨R）
问答题 A={a，b，c}，B={1，2}，令a1=P（A），a2=A->B，构造一个a1到a2的双射函数，再构造一个a2到a1的双射函数。
问答题 求谓词公式∀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 阶实矩阵全体，＋，°分别是矩阵的加法和乘法。
