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

《离散数学》单元测试（数理逻辑部分） 《离散数学》单元测试（数理逻辑部分） 一、填空题 一、填空题 G G p q r G 1. G p ((q r)) 1. 命题公式 ，则 共有 个不同的真值赋值， 命题公式 ®Ø ® ，则 共有 个不同的真值赋值， ®Ø ® G G 使公式 G 为假的赋值是 ，把 G 在其所有赋值下所取真 使公式 为假的赋值是 ，把 在其所有赋值下所取真 G 值列成一个表，称为 G 的 ，并可以通过它判定该公式 值列成一个表，称为 的 ，并可以通过它判定该公式 的类型是 。 的类型是 。 A B(x) A xB(x) 2. x 2. 给定谓词合式公式 ，其中一部分公式形式为 或 给定谓词合式公式 ，其中一部分公式形式为 或 xB x x B x xB x x B x ( ) __- ( ) ( )，则量词 ， 后面所跟的 称__-，而称 ( )为相应 ，则量词 ， 后面所跟的 称 ，而称 为相应 $ $ $ $ 量词的 。 量词的 。 F x x G x x 3. F x x G x x 3. 给定个体域为整数域，令 （）： 是偶数， （）： 是 给定个体域为整数域，令 （）： 是偶数， （）： 是 奇数；则： 奇数；则： x F x G x xF x xG x