课程名称︰逻辑
课程性质︰通识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) 所有动物都没有细胞壁
所有人类都是动物