习题四谓词演算的等价式与蕴含式.docVIP

习题四：谓词演算的等价式与蕴含式 1．考虑以下赋值。 论域 指定常数a和b 指定函数f 指定谓词 求以下各公式的真值。 a) b) c) 2．对以下各公式赋值后求真值。 a) b) c) d) 其中，论域 3．举例说明下列各蕴含式。 a) b) c) d) e) 4．求证 5．求证 6．判断下列推证是否正确。 7．求证 8．设解释T如下：个体域为实数集R，元素，函数，特定谓词为x＜y。根据解释T，下列哪些公式为真？哪些为假? （1） （2） （3） （4） 9．设解释T为：个体域，谓词，，。根据解释T求下列各式的真值： （1） （2） （3） 10．证明或反驳下列公式。 （1） （2） 11．举例说明不正确。 12．下面公式是否是永真式？说明理由。 （1） （2） （3） 13．判断下列公式是否为永真式： （1） （2） 14．下列各式是否是永真式？试证明你的判断（对非永真式构造一个使其为假的解释）。 （1） （2），其中是个体常元。 15．证明： 16．证明： 17．判断下列公式是否为永真式： （1） （2） 18．请判断下列公式是永真式吗？ （1） （2） （3） （4） a 1 b 2