![](https://static.youtibao.com/asksite/comm/h5/images/m_q_title.png)
∀xP(x)∧∃yQ(x,y)整个谓词公式中只有一个量词。∀x的辖域为P(x),P(x)中的x和Q(x,y)中的y是约束变元,Q(x,y)中的x是自由变元。()
![](https://static.youtibao.com/asksite/comm/h5/images/solist_ts.png)
量词!表示“有且仅有",
!xP(x)表示有且仅有一个个体满足谓词P(x).试用量词
,
,等号“=”及谓词P(x)表示
!P(x),即写出一个通常的谓词公式使之与
!xP(x)具有相同的意义.
给定解释I和I下的赋值σ如下。
(a)个体域为实数集R。
(b)特定元素
(c)特定函数
(d)特定谓词
(e)σ(x)=1,σ(y)=-1。
给出下列公式在I和σ下的解释,并指出它们的真值。
以实数集为个体城,用谓词公式将下列语句形式化
(1)如果两实数的平方和为零;那么这两个实数均为零,
(2)F(x)为一实函数当且仅当对每一实数元都有且只有一个实数y满足y=f(x)(不得使用量词为实函数:可译为
设个体域为实数集R,F(x):x>5,求下列0元谓词的真值.
(5). (6)F(7.9).
A.﹁Study(zhang)∧Lucky(zhang)
B.﹁(Study(zhang)∧Lucky(zhang))
C.﹁(Study(zhang)∨Lucky(zhang))
D.﹁Study(zhang)∨Lucky(zhang)
找出以下十二个句子所对应的谓词表达式。
a)所有教练员是运动员。(J(x),L(x))
b)某些运动员是大学生。(S(x))
c)某些教练是年老的,但是健壮的。(O(x),V(x))
d)金教练既不老但也不是健壮的。(j)
e)不是所有运动员都是教练。
f)某些大学生运动员是国家选手。(C(x))
g)没有一个国家选手不是健壮的。
h)所有老的国家选于都是运动员。
i)没有一位女同志既是国家选手又是家庭妇女。(W(x),H(x))
j)有些女同志既是教练员又是国家选手。
k)所有运动员都钦佩某些教练。(A(x,y))
I)有些大学生不钦佩运动员。
A.∃x∀z∀u(¬P(x)⋁Q(x,z)⋁R(x,y,u))
B.∃x∃z∀u(¬P(x)⋁Q(x,z)⋁R(x,y,u))
C.∃x∀z∃u(¬P(x)⋁Q(x,z)⋁R(x,y,u))
D.∀x∀z∀u(¬P(x)⋁Q(x,z)⋁R(x,y,u))