課程名稱︰邏輯
課程性質︰通識A4
課程教師︰傅皓政
開課學院：
開課系所︰
考試日期（年月日）︰2014/06/16
考試時限（分鐘）：13:30~15:00 (90min)
是否需發放獎勵金：是
（如未明確表示，則不予發放）
試題 :(打不出來all跟some的符號，故用V表all，3表some。)
一、建構初階邏輯語言（提示：包括符號和形構規則兩個部分）。(10%)
(Construct a suitable language for first-order (or predicate) logic.
Hint:two parts involved, alphabets and formation rules)
二、請將下列論證轉換成三段論的論證形式，並以亞里斯多德的方法顯示下列論證是
否為有效論證，若為無效論證，請說明其理由為何。(15%)
(Please transform the following ordinary argument into the forms
syllogism and use Aristotle's method to determine whether they are valid
or not if not, please explain the reasons why they aren't.)
(a) 所有動物都沒有細胞壁
所有人類都是動物