离散数学答案 乔维声 汤维版 下载本文

命题逻辑

1. 用形式语言写出下列命题:

(1) 如果这个数是大于1 的整数,则它的大于1 最小因数一定是素数。 (2) 如果王琳是学生党员又能严格要求自己,则她一定会得到大家的尊敬。 (3) 小王不富有但很快乐。

(4) 说逻辑学枯燥无味或毫无价值都是不对的。 (5) 我现在乘公共汽车或者坐飞机。

(6) 如果有雾,他就不能搭船而是乘车过江。 解:

(1) 设P:这个数是大于1 的整数。

Q:这个数的大于1 最小因数是素数。

则原命题可表示为:P?Q。

或:设P1:这个数大于1。

P2:这个数是整数。

Q:这个数的大于1 最小因数是素数。

则原命题可表示为:P1? P2?Q。

(2) 设P:王琳是学生。

Q:王琳是党员。 R:王琳能严格要求自己。 S:王琳会得到大家的尊敬。

则原命题可表示为:P ?Q?R? S。

(3) 设P:小王富有。

Q:小王很快乐。

则原命题可表示为:?P ?Q。

(4) 设P:逻辑学枯燥无味。

Q:逻辑学毫无价值。

则原命题可表示为:?( P?Q)。

(5) 设P:我现在乘公共汽车。

Q:我现在坐飞机。

则原命题可表示为:P??Q。

(6) 设P:天有雾。

Q:他搭船过江。

R:他乘车过江。

则原命题可表示为:P ?? Q?R。

2. 设P:天下雪。 Q:我将进城。 R:我有时间。 将下列命题形式化:

(1) 天不下雪,我也没有进城。 (2) 如果我有时间,我将进城。

(3) 如果天不下雪而我又有时间的话,我将进城。 解:原命题可分别表示为: (1) ?P ?? Q。 (2) R?Q。 (3) ?P ? R?Q。

3. 将P、Q、R所表示的命题与上题相同,试把下列公式翻译成自然语言: (1) R?Q (2) ?(R?Q) (3) Q?(R??P) (4) (Q?R)?(R?Q) 解:

(1) 原公式可翻译为:我有时间而且我将进城。

(2) ?(R?Q) ??R??Q。原公式可翻译为:我没有时间也没有进城。 (3) 我将进城当且仅当我有时间而且天不下雪。

(4) (Q?R)?(R?Q) ) ?(Q?R) ? (?Q ?? R) ? Q?R。原公式可翻译为:如果我进城,

我就有时间;如果我有时间,我就进城。或:我进城而且我有时间,或者我没有进城而且我也没有时间。或:我进城当且仅当我有时间。 4. 构造下列命题公式的真值表: (1) Q?(P?Q)?P (2) (P??Q)?(R?Q)?R (3) ((P?Q)?(Q?R))?(P??R) (4) ((?P?(P??Q))?R)?(Q??R) 解:

(1) Q?(P?Q)?P是含二个变元的三层复合命题,其真值表如下表所示:

P 0 Q 0 P?Q 1 Q?(P?Q) Q?(P?Q)?P 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 1 1 (2) (P??Q)?(R?Q)?R是含三个变元的四层复合命题,其真值表如下表所示: P 0 0 0 0 1 1 1 1 P 0 0 0 0 1 1 1 1 Q 0 0 1 1 0 0 1 1 Q 0 0 1 1 0 0 1 1 R 0 1 0 1 0 1 0 1 R 0 1 0 1 0 1 0 1 ?Q 1 1 0 0 1 1 0 0 R?Q 0 0 0 1 0 0 0 1 P??Q 0 0 0 0 1 1 0 0 (P?Q)?(Q?R) 1 1 1 1 0 1 1 1 (P??Q)?(R?Q) (P??Q)?(R?Q)?R 0 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 (3) ((P?Q)?(Q?R))?(P??R) 是含三个变元的三层复合命题,其真值表如下表所示:

?R P?Q Q?R 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 P?? R ((P?Q)?(Q?R))?(P??R) 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 (4) 记((?P?(P??Q))?R)?(Q??R) 为A,它是含三个变元的三层复合命题,其真值表

如下表所示: P 0 0 0 0 1 1 1 1 Q 0 0 1 1 0 0 1 1 R 0 1 0 1 0 1 0 1 ?P ?Q ?R P??Q Q??R ?P?(P??Q) 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 (?P?(P??Q))?R 1 1 1 1 0 1 0 1 A 1 1 1 1 0 1 1 1 5. 判断下列命题公式中哪些是重言式?哪些是矛盾式?哪些既不是重言式又不是矛

盾式?

(1) (P?Q)?(?Q??P) (2) (Q?(P?Q))?(P?Q) (3) (P?Q)?(Q?P)?(?P?Q)

(4) Q?(P?Q)?(P??Q) (5) (P?Q)?(P?Q?P)

(6) ((P?Q)?(R?S))?(P?R?Q?S)

解:(1) (P?Q)?(?Q??P) 是含二个变元的三层复合命题,其真值表如下表所示:

P 0 0 1 1 Q 0 1 0 1 ?P 1 1 0 0 ?Q 1 0 1 0 P?Q 1 1 0 1 ?Q??P 1 1 0 1 (P?Q)?(?Q??P) 1 1 1 1 所以(P?Q)?(?Q??P) 是重言式。

(2) (Q?(P?Q))?(P?Q) 是含二个变元的三层复合命题,其真值表如下表所示:

P 0 0 1 1 Q 0 1 0 1 P?Q 1 1 0 1 Q?(P?Q) 0 1 0 1 (Q?(P?Q))?(P?Q) 1 1 1 1 所以(Q?(P?Q))?(P?Q) 是重言式。

(3) (P?Q)?(Q?P)?(?P?Q) 是含二个变元的三层复合命题,其真值表如下表所示: P Q ?P P?Q Q?P ?P?Q (P?Q)?(Q?P) (P?Q)?(Q?P)?(?P?Q) 0 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 所以(P?Q)?(Q?P)?(?P?Q)既不是重言式又不是矛盾式(或,是可满足式)。 (4) Q?(P?Q)?(P??Q) 是含二个变元的三层复合命题,其真值表如下表所示:

P Q ?Q P?Q Q?(P?Q) 0 0 0 1 1 0 1 1 1 0 1 0 1 1 0 1 0 1 0 1 P??Q 1 1 1 0 Q?(P?Q)?(P??Q) 1 1 1 0 所以Q?(P?Q)?(P??Q) 既不是重言式又不是矛盾式(或,是可满足式)。 (5) (P?Q)?(P?Q?P) 是含二个变元的三层复合命题,其真值表如下表所示:

P Q P?Q P?Q 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 P?Q?P 1 1 1 1 (P?Q)?(P?Q?P) 1 1 1 1 所以(P?Q)?(P?Q?P) 是重言式。