数学一课程讲义.PDF

數學一 課程講義 黃博峙 台北商業技術學院 April 11, 2014 Chapter 1 邏輯與集合 1.1 邏輯 邏輯學就是研究規律性事物的一門學科。邏輯被使用在大部份的智能活動中，但主要在哲學、數 學、語義學和電腦科學等領域內被視為一門學科。在數學裡，邏輯是指研究某個形式語言的有效推論。 凡是數學上所用到的語句，均稱為數學語句 。數學語句是一種敘述，或為真，或為偽，但不能記真又 偽。例如： (1) 在平面上，任一三角形的三內角和為 ◦ 。 (2) 。 (3) 給定一直線 和線外一點 ，過點恰有一條直線與 平行嗎？ 前兩個語句 (1),(2) 均為數學語句，只是語句 (1)的敘述為真，語句 (1)的敘述為偽。語句 (3) 並不是 數學語句，因為問句無法判斷真偽，即問句並沒有真假值。 1.1.1 定量化詞 有時在一數學語句中，由於其敘述冗長而瑣碎，為書寫方便，可用下列之符號代表某些名詞，稱之 為定量化詞。 1. (存在) 意思是 “至少有一個” ，以符號 表示。常與 “使得 ”(符號為 ∋ 或使用縮寫 s.t) 連用。例如： ，中存在一元素使得此元素小於或等於 。亦可表示為“ s.t. ” 。 2. (存在唯一) 意思是 既存在且唯一“ ” ，也就是正好一個。例如： ，中只有一個元素等於 ，亦可表示為“ s.t. ” 。 3. 所有的( ) 亦可稱為 “對每一個” 。例如： ，中每一個元素均小於 ，亦可表示為 “ ” 。 1.1.2 連接詞與真值表 §連接詞 由單一敘述所組成的數學語句，稱為簡單數學語句 。兩個或兩個以上的數學語句可藉由邏輯連接 詞或邏輯運算符連結成更複雜的語句，成為複合數學語句 。基本的連接詞有“ (非)” 、“ (且)” 、“ 或( )” 、“ (蘊含)” 、“ 若且唯若( )” 。 將兩個數學語句 藉由蘊含關係連結形成 ，讀作“若 則 ”的複合數學語句，此類複合敘 述稱為命題 。此種形式的命題稱為條件命題 ，稱為命題的假設 ，稱為命題的結論。 數學語句的真偽稱為真假值，以 T 表真，以F 表偽。複合數學語句之真假值可藉由真值表判斷。 1 § 真值表 真值表是使用於邏輯中（特別是在連結邏輯代數、布爾函數和命題邏輯上）的一類數學用表，用來 計算邏輯表示式在每種論證（即每種邏輯變數取值的組合）上的值。尤其是，真值表可以用來判斷一個 命題表示式是否對所有允許的輸入值皆為真，亦即是否為邏輯有效的。 複合數學語句的真值表規則如下： T T T T T T T F T F F T F F F T F T F T T F F F F F T T 備註 . 1.1. 複合語句 若“ 則 ”, 的真值表規則經常讓人覺得違反直覺。 T T T T F F F T T F F T 現僅以下面的例子略為說明：例如：老師說 “今天有出席上課的人期末成績保證