离散数学作业 (.docVIP

离散数学作业布置 第1次作业（P15） 1.16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。 解：（1）p∨(q∧r)=0∨(0∧1)=0 （2）（p?r）∧(﹁q∨s)=（0?1）∧(1∨1)=0∧1 =0 （3）（﹁p∧﹁q∧r）?(p∧q∧﹁r)=（1∧1∧1）? (0∧0∧0)=0 (4)（ r∧s）→(p∧ q)=（0∧1）→(1∧0)=0→0=1 1.17 判断下面一段论述是否为真：“π是无理数。并且，如果3是无理数，则 也是无理数。另外只有6能被2整除，6才能被4整除。” 解： p: π是无理数 1 q: 3是无理数 0 r: 是无理数 1 s:　6能被2整除 1 t: 6能被4整除 0 命题符号化为： p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。 1.19 用真值表判断下列公式的类型： （4）(p→q) →(﹁q→﹁p) （5）(p∧r) ? (﹁p∧﹁ q) （6）((p→q) ∧(q→r)) →(p→r) 解： （4） p q p→q q p q→ p (p→q)→( q→ p) 0 0 1 1 1 1