台湾大学公开课逻辑学傅皓政第一讲作业精要.pdf

邏輯作業 (Unit 8) 系級： 姓名： 學號： 日期： A.請以三段論的簡易判斷法證明 下列各論證 形式是否為有效論證 。 1. SOM 2. SEM 3. MIS 4. MOS 5. SAM PAM MIP PEM MIP MEP SOP SOP SOP SOP SEP 6. MAS 7. MES 8. MIS 9. SOM 10. SEM MOP PAM MAP PEM MEP SOP SOP SIP SOP SEP B.請以 范恩圖解的 方法證明上述各論證形式是否為有效論證。 C.請 將上述論證形 式以日常語言 建構個例。 例： 1. SOM PAM SOP 所有聽不懂人話的都是 木頭，有些男人不是木頭，所以，有些男人不是聽不懂人話 。 邏輯作業 (Unit 8) 解答 系級： 姓名： 學號： 日期： A.請以三段論的簡易判斷法證明 下列各論證形式是否為有效論證 。 X O O O X X X O O X 1. S OM 2. S EM 3. M IS 4. M OS 5. S AM O X X X O O X X O O P AM M IP P EM M IP M EP X O X O X O X O O O S OP S OP S OP S OP S EP 有效論證 無效論證 有效論證 無效論證 有效論證 理由：P在結論 理由：P在結論周 周延，但是在前 延，但是在前提 提不周延。 不周延。 O