西南财经大学2009至2010学年第一学期试卷

3. 用真值表判定下列复合命题是否为永真式：

((?p??q)?q)?p

p T T F F q T F T F 4.用归谬赋值法判定公式：（p?q）?（?p ? ?q）是否为重言式。

五、分析题（4题，每题6分，共24分）

得 分

1. 设下列三句话中只有一句是假话，请问：甲班班长是否懂计算机？

（1） 甲班所有学生懂电子计算机。 （2） 甲班小张懂电子计算机。

（3） 甲班所有学生都不懂电子计算机。

2. 分析下列推理是否正确。如正确，写出其推理形式；如不正确，指出其违反什么规则。

凡商品都是有价值的，所以，有的非商品不是有价值的。

3. 用现代谓词逻辑公式刻画下列命题：

所有大学生都是知识分子。

4.下列推理属于哪种类型的推理，写出它的逻辑形式并分析其是否正确，为什么？ 如果某甲触犯了刑律，那么他的行为就是犯罪行为；如果没有触犯刑律，那么他的行为就是不道德行为；某甲或者触犯了刑律或者没有触犯刑律。总之，某甲的行为或者是犯罪行为，或者是不道德行为。

六、运用三段论规则，填上合适的符号，使推理形式有效（3题，每空2分，共８分） 得 分 1．M（ ）P S（ ）M S E P 2．P E M M A S S（ ）P

3．P A M M A S S（ ）P

七、综合题（1题，每题8分，共8分）

得 分 某案件有四名嫌疑人。法庭调查后确认：

① A是罪犯或B不是罪犯。 ② 如果B不是罪犯，那么C不是罪犯。 ③ A不是罪犯。 ④ A、B、C、D四人中至少有一人是罪犯。

请问，根据法庭以上确认可推知谁是罪犯。请写出推导过程。