課 程 概 述
Course Description

課程編碼
Course Code
中文課程名稱
Course Name (Chinese)
英文課程名稱
Course Name (English)
總學分數
Credits
總時數
Hours
1416012 邏輯推理與應用 Logical Inference and Application 2.0 2
中文概述
Chinese Description
學習邏輯推理主要的目的便是幫助我們培養一種邏輯能力,使我們能夠為我們的人生做出正確的判斷。本課程包括:邏輯的基本觀念,真值表推論法,語句邏輯中自然演繹法的18條基本推論規則,語句邏輯的基本公理系統,量化邏輯中自然演繹法的基本規論推測,量化邏輯的詮釋方法,量化邏輯的基本公理系統,語句邏輯的後設理論,量化邏輯的後設理論,傳統的三段論法,謬誤理論、與介於自然與形式語言之間的翻譯等等。
英文概述
English Description
The main purpose of studying "Logical Inference" is to help us obtain a kind of logical ability, by means of which we will be able to make right choices for our life. This courses covers at least the following topics: basic ideas in logic, the truth table method, 18 basic rules of inference in the method of natural deduction in sentential logic, basic axiomatic systems in sentential logic, basic rules of inference in the method of natural deduction in quantificational logic, interpretations in quantificational logic, basic axiomatic systems in quantificational logic, meta-theorem in sentential logic, meta-theorem in quantificational logic, traditional syllogism, the fallacy theory, and the translation between natural and formal language, etc.

備註:

  1. 本資料係由本校各教學單位、教務處課務組、進修部教務組、進修學院教務組及計網中心所共同提供!
  2. 若您對課程有任何問題,請洽各開課系所。