课程名称︰ 逻辑
课程性质︰ 通识 A4
课程教师︰ 傅皓政
开课学院：
开课系所︰
考试日期（年月日）︰2019/06/17
考试时限（分钟）：90分钟
试题 :
一、建构初阶逻辑语言 (提示：包括符号与形构规则两个部分)。 (10%)
Construct a suitable language for first-order (or predicate) logic.
Hint: two parts should be involved, alphabets and formation rules.
二、请以亚里斯多德的方法证明下列三段论的论证是否为有效论证，如为无效论证请写出
具有说服力的反例。 (15%)
Please use the Aristotle's method to prove whether the arguments of the
following syllogisms are valid arguments. For the invalid arguments,
please write a persuasive counterexample.
(a) M A P (b) S E M (c) S A M
M A S P E M M A P