第二章谓词逻辑1. 什么叫做客体和客体变元？如何表示客体和客体变元？2. 么叫做谓词？3. 什么叫做论域？我们定义一个“最大”的论域叫做什么？4. 填空题：1存在量词：记作()，表示()或者()或者()2全称量词：记作()，表示()或者()或者()。5. 什么叫做量词的作用域？指出下面两个谓词公式中各个量词的作用域。Vx(F(x,y)fyP(y)AQ(z)A3xA(x)VxyVz(A(x,y)fB(x,y,z)人C(t)6. 什么叫做约束变元？什么叫做自由变元？指出下面公式中哪些客体变元是约束变元？哪些客体变元是自由变元？Vx(F(x,y)fyP(y)AQ(z)A3xA(x)7. 填空：一个谓词公式如果无自由变元，它就表示一个()。8.给出的谓词J(x)：x是教练员，L(x):x是运动员，S(x):x是大学生，O(x)：x是年老的，V(x)：x是健壮的，C(x)：x是国家选手，W(x)：x是女同志，H(x):x是家庭妇女，A(x,y)：x钦佩y。客体j：金某人。用上面给出的符号将下面命题符号化。1所有教练员是运动员。
