《离散数学》习题选.doc

《离散数学》习题选解 习题一 1.命题有：（1）、（2）、（3）、（6）、（7）、（10）、（11）、（12）、（13）. 简单命题有：（1）、（2）、（7）、（10）、（13）. 真命题有：（1）、（2）、（3）、（10）、（11）. 真值待定的命题有：（7）、（13） 3.（2）解：令：是无理数，则原命题可符号化为，其否式为是无理数，其符号化为，的真值为0. （4）解：令：是整数，其否式为不是整数，其可符号化，的真值为0. 4.（3）解：令：2是最小的素数， ：2是最小的自然数，则此命题可符号化为， 其值为1. （5）解：令：4是素数， ：4是偶数，则此命题可符号化为，其值为0. 5.解：（4）令：3是偶数， ：4是偶数，则此命题可符号化为，其值为1. （5）令：3是素数， ：4是偶数，则此命题可符号化为，其值为0. 6.解：（2）令：刘晓月只选学英语，：刘晓月只选学日语，则此命题可符号化为 或. 7.解：因为与不能同时为真. 8.解：(5) 令：， ：，则此命题可符号化为，其值为0. （6）令：， ：，则此命题可符号化为，其值为1. 11.解：(1)令：， ：地球是动的，则此命题可符号化为,其值为0. (4) 令：地球上有水， ：是无理数，则此命题可符号化为，其值为1. 12.解：(2)令：， ：，则此命题可符号化为，其值为0. （4）令：， ：，则此命题可符号化为，其值为1. 13.解：（3）令：今天是星期一， ：明天是星期二，则此命题可符号化为，其值为1.（4）令：今天是星期一， ：明天是星期三，则此命题可符号化为，其值为0. 14.解：（7）令：他吃饭， ：他听音乐，则此命题可符号化为. （9）令：他乘班车上班， ：天下大雨，则此命题可符号化为. （11）令：下雪， ：路滑，：他迟到了，则此命题可符号化为. （12）令：2是素数， ：4是素数，则此命题可符号化为. （13）令：2是素数， ：4是素数，则此命题可符号化为. 15.解：的真值分别为1，1，0，于是有： （1）， （2）， （3） （4） ， 16.解：因为，，，，所以 （1）， （2）， （3）， （4）， 17.解：令：是无理数，：3是无理数，：是无理数，：6能被2整除， ：6能被4整除，的值分别为1，0，1，1，0，则此题可符号化为 ，其值为，因此此论述为真. 18.解：令：小王会唱歌，：小李会跳舞，则此题可符号化为 由题设条件知， 又 ，所以的值分别为1，0，即当小王会唱歌而小李不会跳舞时，就满足题目的要求. 19.解：（5）因为原式共有3个不同的变元，故其真值表为： ()() 0 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 所以此式为非重言式的可满足式. （6）因为原式共有3个不同的变元，故其真值表为： （（）（））（） 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 所以此式为重言式. （7）因为原式共有4个不同的变元，故其真值表为： （）（） 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 1 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 0 1 1 0 0 1 1 1 0 1 0 0 1 1 1 1 1 1 1 所以此式为非重言式的可满足式. 2