简答题7．┐QÙ（P→Q）可以蕴含 A ┐P B P C ┐Q D Q简答题8．┐(PÚQ)«(PÙQ)的主析取范式 A S1,2,3 B P1,2,3 C S1,2 D P1,2简答题9．((PÚQ)®R)®P的主合取范式 （ ） A S0,1,3 B P0,1,3 C S1 D P1简答题4．设P：他聪明，Q：他用功，命题：“他虽聪明但不用功。”表示正确的是 A P∨Q B P∧┐Q C P→┐Q D P∨┐Q简答题1．下列命题公式是矛盾式的是 A ┐P→(P∨Q) B (P∨┐P)→(Q∧┐Q) C Q∨┐Q D (P∨Q)∧P简答题10．若使用归谬法推理，(A→(BÚC))Ù(B→┐A)Ù(D→┐C) Þ (A→┐D)，则附加前提是（） A (A→┐D) B (D→┐C) C ┐(A→┐D) D ┐(D→┐C)简答题5．下列命题公式为重言式的是 A P→(P∨Q) B (P∨┐P)→Q C Q∧┐Q D P∨Q简答题6．下列语句中不是命题的只有 A 我正在说谎。 B 离散数学是一门必修课。 C 不存在最大质数。 D 凡石头都可练成金。简答题3．下列语句中是命题的只有 A 地球外有生命吗？ B 请不要说话！ C 我将去镇上，仅当天不下雨。 D 我正在说谎。简答题2．命题公式 P→Q的等价式是 A ┐P→Q B Q→P C ┐Q→P D ┐Q→┐P