离散数学试卷

、单项选择题(共30分，2分/题。)1、下列句子是命题的是()。A)我正在说谎。B)2是素数当且仅当三角形有3条边。C)x=y。D)这朵花真好看呀！2、下列命题公式是重言式的是()。A)┐(P→Q)∧QB)P→┐Q→┐QC)┐((P∨Q)∧┐P→Q)D)(P→Q)∧(P→┐Q)┐P3、下列谓词演算公式中，正确的是()。