5数理逻辑实验课1.pptVIP

计算机学院 乌鸦都是黑色的。 有的人天天锻炼身体。 有的火车比有的汽车快。 不存在比所有火车都快的汽车。 爱美之心人皆有之。 有人爱发脾气。 说所有人都爱吃面包是不对的。 没有不吃饭的人。 所有人都不一样高。 并不是所有的汽车比所有的火车快。 没有不能表示成分数的有理数。 在成都卖菜的人不全是外地人。 1、在一阶逻辑中将下列命题符号化。 2、设个体域D={a,b,c}，消去下列各公式的量词 3、求下列公式的前束范式 4、构造下列推理的证明： * 实验一 题目：构造任意合式公式的真值表 1、功能：给出任意变元的合式公式，构造该合式公式的真值表 2、基本思想：以用数值变量表示命题变元为前提规范，合式公式的表示及求真值表采用通过将合式公式表示成为条件语句中的条件表达式，对每个赋值其合式公式的真值即为该合式公式的逻辑运算结果；使用一维数组a[N]表示合式公式中所出现的n个命题变元，同时它也是一个二进制加法器的模拟器，每当在这个模拟器中产生一个二进制数时，就相当于给各个命题变元产生了一组真值指派。 * 3、算法逻辑 将二进制加法模拟器赋初值， 计算模拟器中所对应的一组真值指派下合式公式的真值（条件语句）。 输出真值表中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值。 在模拟器a[N]中，模拟产生下一个二进制数值。 若a[N]中的数值等于2n ，则结束，否则转②。 4、要求 用C语言编写出相应的程序，并至少通过输入两个合式公式进行验证，打印出结果。 计算机学院