12-13高等数理逻辑期末试卷(附答案).docVIP

2012-2013第一季度期末考试试题 一、填空题（30分，每空3分） 1.判断下列命题公式的类型 （1）为___矛盾式____ （2）为___重言式____ （3）为___可满足式____ （4）为__可满足式_____ （5）为____重言式___ 2.设R为非空集合A上的关系，如果R是自反的、对称的和传递的，则称R为A上等价关系。如果R是__自反的、反对称的和传递的__，则称R为A上的偏序关系，简称偏序。记做 3.凡是形式推演性所反映的前提和结论之间的关系，在非形式的推理中都是成立的。因此形式可推演性并不超出非形式推理的范围。这称为___可靠性___定理。 4.公式A中，原子公式出现的数目为n；出现的总数是m，那么n和m的关系是___m=n-1_______。 5.，，和是联结符号完备集，这样看来，好像在联结符号的完备集中不能缺少否定符号，实际上并非如此。在我们讨论过的8个常用联结符号中，有___2____个联结符号单独具有完备性。 6.在第1题的5个公式中，有____4___个公式是协调的。 二、计算证明题（70分） 1.构造下面推理的证明。（10分） 前提：，， 结论： 2.证明的公式的长度不能是2,3,或6，但其他的长度都是可能的。（10分） 3.写出公式的合取范式。（10分） 4.证明以下两道题目。（10分） （1） （5分） （2） （5分）