課程名稱︰ 邏輯
課程性質︰ 通識 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