问答题 给定公式，在解释I1中，个体域D={a}，证明公式A在I1下的真值为1。

问答题 判断下列集合和给定运算是否构成环、整环和域，如果不能构成，说明理由：A={x∣x≥0Λx∈Z}，运算为实数加法和乘法。

问答题 判断下列集合和给定运算是否构成环、整环和域，如果不能构成，说明理由：A={2z∣z∈Z}，运算为实数加法和乘法。