(1)(1)我们不能既划船又跑步我们不能既划船又跑步. .1.1.在命题逻辑中将下列命题符号化在命题逻辑中将下列命题符号化: :(2)(2)小王总是在图书馆看书小王总是在图书馆看书, ,除非他病了除非他病了 或者图书馆不开门或者图书馆不开门. .2.2.判断公式判断公式 与与 是否等值是否等值. . 3.3.用真值表和等值演算两种方法求公式用真值表和等值演算两种方法求公式 的主析取范式和主合取范式的主析取范式和主合取范式. . 第一、二章第一、二章 习题课习题课4.4.将联结词将联结词 用用 表示表示. .5.5.判断下列推理是否正确，并说明理由判断下列推理是否正确，并说明理由. .（1 1）前提：）前提： 结论：结论：（2 2）如果甲弃权）如果甲弃权, ,则乙或丙至少一人将获得则乙或丙至少一人将获得出线权；如果乙获得出线权出线权；如果乙获得出线权, ,则甲没有弃权；则甲没有弃权；如果丁获得了出线权，则丙未获出线权如果丁获得了出线权，则丙未获出线权. .所所以，如果甲弃权，则丁不能获得出线权以，如果甲弃权，则丁不能获得出线权. . 6.6.某学校有三名教授甲、乙、丙，要选派其某学校有三名教授甲、乙、丙，要选派其中的某些人出国进修中的某些人出国进修. . 因工作需要，选派时因工作需要，选派时必须满足以下条件：必须满足以下条件：（1 1）若甲去，则丙也去；）若甲去，则丙也去；（2 2）若乙去，则丙不去；）若乙去，则丙不去；（3 3）若丙不去，则甲或乙中要至少去一人）若丙不去，则甲或乙中要至少去一人. .试问：学校应如何选派他们？试问：学校应如何选派他们？(2)(2)猫是动物，但动物不一定是猫猫是动物，但动物不一定是猫. .7.7.在谓词逻辑中将下列命题符号化在谓词逻辑中将下列命题符号化(3)(3)每个人都有自己喜欢的工作每个人都有自己喜欢的工作. .(1)(1)并非所有的素数都不是偶数并非所有的素数都不是偶数. .8. . 给定解释给定解释 I如下：个体域为实数集合如下：个体域为实数集合；f(x,y)=x-y, g(x,y)=xy, E(x,y):x=y, G(x,y):xy，N(x):x是自然数是自然数.在此解释下在此解释下,求下列各式的值求下列各式的值9.9.求公式求公式 的前束范式的前束范式. .10.10.判断下列推理是否正确，并说明理由判断下列推理是否正确，并说明理由. .（1 1）前提：）前提： 结论：结论：(2) (2) 有理数都是实数有理数都是实数. .有的有理数是整数有的有理数是整数. .因此，有的实数是整数因此，有的实数是整数. .