第二章习题1．填空（1）Ax，By（2）xCx→Ax（3）xAx→By（4）xyFx∧Fy→Hxy（5）xFx∧Gx（6）T（7）yPxy∧Qyz，Pxy∧Qyz，Pxy（8）xQx∧Px（9）yx和z（10）xQx→Ry，xQx∧Zx，xQx∧Rx∧Zx2．选择题（1）B（2）B（3）A（4）B（5）C（6）C（7）B（8）B（9）B（10）D（11）C（12）A3．下列哪些是谓词公式解：公式（1）（8）均为谓词公式。4．在谓词逻辑中将下列命题符号化（1）有些汽车比所有火车都跑得慢；解：令Ax：x是汽车，Bx：x是火车，Cxy：x比y跑得慢。符号化为xAx∧yBy→Cxy（2）会叫的狗未必会咬人；解：令Ax：x会叫，Bx：x是狗，Cx：x会咬人符号化为xAx∧Bx∧Cx（3）存在最小自然数解：令A（x）x是自然数，B（xy）：x小于y符号化为xAx∩yAy→Byx（4）对于每个实数都存在比它大的有理数解：令A（x）x是实数，B（x）x是有理数，R（xy）：x比y大符号化为xAx→yBy∩Ryx
xQx∧Px
f（5）每个自然数都有唯一的后继解：令A（x）x是自然数，B（xy）：x是y的后继符号化为xAx→yAy∩Byx）（6）没有以0为后继的自然树解：令A（x）x是自然数，B（xy）：x是y的后继符号化为xAx∩B0x（7）存在唯一的偶实数解：令A（x）x是偶数，令B（x）x是素数符号化为xAx∩Bx8没有即是奇数也是偶数的数解：令A（x）x是奇数，令B（x）x是偶数符号化为xAx∩Bx（9）天下乌鸦一般黑解：令A（x）x是乌鸦，令B（x）x是黑的符号化为xAx→Bx（10）一个数是素数当且仅当它只能被1和它自身整除解：Axx是素数Bxyx被y整除Cxyx与y相等Dxx是实数符号化为：xAxyDy∧Bxy→Cy1∨Cyx5、利用所给定命题和谓词，将下列诸命题符号化。P表示“今天天气好”表示“入学考试准时进行”；Q；A（c）表示“c是考生”：Bc表示“c提前进入考场”；C（c）表示“c取得良好成绩”E（e1e2）表示“e1e2”。（1）如果今天天气不好，就一定有些考生不能提前进入考场，符号化为：P→xAx∧Bx（2）如果所有考生提前进入考场，那么入学考试r