1数理逻辑单元测试(answer).docVIP

《离散数学》单元测试（数理逻辑部分） 一、填空题 命题公式，则G共有 个不同的真值赋值，使公式G为假的赋值是 ，把G在其所有赋值下所取真值列成一个表，称为G的 ，并可以通过它判定该公式的类型是 。 给定谓词合式公式A，其中一部分公式形式为B(x)或$xB(x)，则量词，$后x称，而称B(x)为相应量词的x）：x是偶数，G（x）：x是奇数；则： （1）的值为 ；（2）的值为 。 在谓词逻辑中将下面命题符号化： （1）在北京工作的人未必都是北京人。 （设F（x）：x在北京工作，G（x）：x是北京人） （2）没有不犯错误的人。 （设F（x）：x是人，G（x）：x犯错误） 设个体域为，将中的量词消除，写成与之等值的命题公式: 二、单项选择题 下列语句中命题的（） A．这个语句是假的。 B．1+1=1.0 C．飞碟来自地球外的星球。 D．凡石头都可练成金。（）下面联结词运算不可交换的是（）A．B．→C．D．?p，q的极小项是（）p∧┐p∧q B．┐p∨q C．┐p∧q D．┐p∨p∨q 下列命题公式不是重言式的是（）A．→（） B．（）→C．ùù q）∧（ù p∨q） D．（→q）?（） （）（A∧B） B．（A∨B）∧┑AB C．（A→B）∧AB D．（A→B）∧┑B┑A 谓词公式x(P(x)∨