逻辑学证明题试题及答案-考点汇总.docxVIP

逻辑学证明题试题及答案-考点汇总

一、命题逻辑证明题（自然演绎系统）（总分：5分）

1.使用自然演绎系统证明结论：?P。已知前提：P→Q,Q→R,?R。

答案：从前提3：?R，应用否定后件规则（由Q→R和?R，得?Q）；再从前提1：P→Q，应用肯定前件规则（由P→Q和?Q，得?P）。

2.使用自然演绎系统证明结论：?(A∧B)。已知前提：(A∧B)→C,?C。

答案：从前提2：?C，应用否定后件规则（由(A∧B)→C和?C，得?(A∧B)）。

3.使用自然演绎系统证明结论：Q。已知前提：P∨Q,?P。

答案：从前提1：P∨Q，应用析取三段论（由P∨Q和?P，得Q）。

4.使用自然演绎系统证明结论：Q∨S。已知前提：(P→Q)∧(R→S),P。

答案：从前提1：分解得P→Q，应用肯定前件规则（由P→Q和P，得Q）；再由Q属于析取支，得Q∨S。

5.使用自然演绎系统证明结论：?Q。已知前提：?(P∧Q),P。

答案：从前提2：P，应用简化规则（由?(P∧Q)，得?P或?Q，结合P，得?Q）。

二、谓词逻辑证明题（一阶逻辑自然演绎）（总分：5分）

1.使用一阶逻辑自然演绎系统证明结论：?xG(x)。已知前提：?x(F