问答题

【简答题】将命题“√7不是无理数是不对的”符号化。

答案：

。

在线练习

你可能感兴趣的试题

设A为任意的公式，B为重言式，则A∨B的类型为（）。

答案：重言式

【计算题】
设解释I为：个体域D={a，b，c}，F（a）=F（b）=1，F（c）=0，G（a）=1，G（b）=G（c）=0,求下面公式在I下的真值：

答案：