![](https://static.youtibao.com/asksite/comm/h5/images/m_q_title.png)
[主观题]
给定公式(1)在解释I1中,个体域D1={a},证明公式A在I1下的真值为1.(2)在解释I2
给定公式(1)在解释I1中,个体域D1={a},证明公式A在I1下的真值为1.(2)在解释I2
给定公式
(1)在解释I1中,个体域D1={a},证明公式A在I1下的真值为1.
(2)在解释I2中,个体域D2={a1,a2,…,an},n≥2,A在I2下的真值还一定是1吗? 为什么?
查看答案
![](https://static.youtibao.com/asksite/comm/h5/images/solist_ts.png)
给定公式
(1)在解释I1中,个体域D1={a},证明公式A在I1下的真值为1.
(2)在解释I2中,个体域D2={a1,a2,…,an},n≥2,A在I2下的真值还一定是1吗? 为什么?
给定个体域D和D上的解释I,称D上n元有序组集合D}为可定义的,如果存在含n个自由变元的谓词公式a(x1,x2,...,xn),a(x1,x2,...,xn)在域D和解释I下为真当且仅当对x1,x2,...,xn的賦值d1,d2,...,dn满足
.已知n元有序组集合A,B都是可定义的,请证明:
(1)AUB是可定义的.
(2)A-B是可定义的.
(3)n-1元有序组集合存在某个d使得
是可定义的.
设个体域D={a,b,c},在D中消去公式的量词。甲、乙用了不同的演算过程。
显然,乙的演算过程简单些。试指出乙在演算过程中的关键步骤。
(1)试举出一个个体域及两种解释,分别证明第4题之(1)、(2)的逆不能成立.
(2)证明下列推理无效.
A.=Sheet2!D1+D1+Book2!Sheet1!$D$1
B.=Sheet2!D1+Sheet3D1+ [Book2] Sheet3D2
C.=Sheet2!D1+D1+ [Book2] Sheet1!D1
D.=Sheet2!D1+D1+[Book2]Sheet1!$D$1