lt99221集合逻辑与计数原理.doc

第二章 排列、組合 2-1邏輯﹑集合與計數原理 大風吹﹐吹什麼？吹有戴眼鏡的人﹐這是小時候我們可能都玩過的「大風吹」遊戲﹒遊戲中﹐每講到一種特徵﹐符合這種特徵的人就要出列﹐這出列的人便組成一個集合﹒集合是很多數學理論的基礎﹐本節將透過邏輯推理的認知﹐及一些實際的例子來介紹集合的概念與計數原理﹒ 甲、邏輯簡介 在數學的語言裡﹐能判斷其為對或錯的語句﹐稱為敘述﹒例如： 「三角形三內角和為」為對的敘述； 「」為錯的敘述﹒ 我們常用「且」與「或」來連接兩個敘述﹐並且規定如下： 「且」與「或」 (1) 當兩個敘述與皆對時﹐「且」才是對的敘述﹐否則就是錯的敘述﹒常以符號「」表示「且」﹒ (2) 當兩個敘述與至少有一為對時﹐「或」才是對的敘述﹐否則就是錯的敘述﹒常以符號「」表示「或」﹒ 【說例】 對 對 錯 錯 (1) 「且」是對的敘述﹒ (2) 「且」是錯的敘述﹒ (3) 「或」是對的敘述﹒ (4) 「或」是錯的敘述﹒ 【隨堂練習01】設甲乙丙為三個敘述﹐且甲：長方形都是正方形﹐乙：正三角形都是等腰三角形﹐丙：﹒在下列選項中選出對的敘述：(1) 甲 (2) 乙 (3) 甲且乙 (4) 乙或丙 (5) 甲或丙﹒ Ans：見詳解 【詳解】甲是錯的敘述﹐乙是對的敘述﹐丙是錯的敘述﹒再由「且」與「或」的規定﹐選出選項(2)(4)是對的敘述﹒ 有些數學式的意思是指一個含有「且」與「或」的敘述﹐例如： (1) 「」意思是指「且」﹒ (2) 「」意思是指「或」﹒ (3) 「」意思是指「且」﹒ (4) 「」意思是指「或」﹐因此「」是對的敘述﹒ 一個敘述的「否定」會形成另一個新的敘述﹐稱此新的敘述為的否定敘述﹐以符號（讀作非）表示﹒例如：若敘述為「2是整數」﹐則其否定敘述為「2不是整數」﹒ 顯然地﹐當為對的敘述時﹐就是錯的敘述；反之﹐當為錯的敘述時﹐就是對的敘述﹒ 【例題1】寫出下列各敘述的否定敘述：(1) 大華是黑頭髮且黃皮膚﹒(2) 小明騎腳踏車或走路上學﹒ Ans：見詳解 【詳解】 (1) 由「且」的規定得知﹐只要兩敘述與有一被否定﹐就足以否定「且」﹒因此﹐原敘述的否定敘述為「大華不是黑頭髮或不是黃皮膚」﹒ (2) 由「或」的規定得知﹐要否定「或」﹐必須將兩敘述與都否定﹐才能否定整個敘述﹒因此﹐原敘述的否定敘述為「小明不是騎腳踏車且不是走路上學」﹒ 一般而言﹐否定含有「且」的敘述與否定含有「或」的敘述時﹐我們有以下的結論： 笛摩根定律 (1) 敘述「且」的否定敘述為「非或非」﹐記作 ﹒ (2) 敘述「或」的否定敘述為「非且非」﹐記作 ﹒ 【隨堂練習1】寫出下列各敘述的否定敘述：(1) 或﹒(2) ﹒ Ans：見詳解 【詳解】(1) 利用﹐得否定敘述為且﹒ (2) 利用﹐得否定敘述為或﹒ 乙、集合簡介 (一)集合表示法 集合是由一些滿足某些條件之元素所組成的整體﹒若a是集合S中的一個元素﹐則我們用符號aS（讀作a屬於S）表示；若a不是集合S中的元素﹐則用符號aS（讀作a不屬於S）表示﹒特別的﹐不包含任何元素的集合稱為空集合﹐記作﹒ 底下我們來看幾個集合的例子： (1) 擲一粒骰子所有可能出現的點數組成一個集合﹐以A表示﹐即 ﹐而且知道﹒ (2) 所有12的正因數組成一個集合﹐以B表示﹐即 ﹐而且知道﹒ (3) 所有小於10的正偶數組成一個集合﹐以C表示﹐即 ﹒ 上面三個例子中﹐我們將集合A﹐B﹐C的所有元素一一在大括弧中列舉出來﹐這種表示集合的方法稱為列舉法﹒但當集合中的元素很多時﹐一一列舉並不方便﹐這時﹐我們可以改用集合中所有元素共同具有的屬性來表示﹒例如﹐集合C可以表示為 ﹒ 這種方法是在大括弧內先寫出元素的一般形式﹐再加一直槓﹐並在直槓的右邊寫出能夠界定所有元素的屬性﹒這種表示集合的方法稱為描述法﹒ 【例題2】(1) 利用列舉法表示所有18的正因數組成的集合﹒(2) 利用描述法表示所有小於100且被3整除的正整數組成的集合﹒ Ans：見詳解 【詳解】 (1) 列舉法：﹒ (2) 描述法：﹒ 【隨堂練習2】(1) 利用列舉法表示集合﹒(2) 利用描述法表示所有小於200且被4整除的正整數組成的集合﹒ Ans：見詳解 【詳解】(1) 因為﹐所以﹒因此﹐﹒ (2) 描述法﹕﹒ 集合的元素不考慮出現的順序﹐也不考慮元素重複出現的次數﹒例如：下列三個集合 均表示同一集合﹒ 康托（Georg Cantor﹐德﹐1845～1918） 創立集合論﹐在數學方法論上帶來新的觀點﹐推動二十世紀數理邏輯的發展﹒ 在19世紀﹐德國數學家康托首先引進集合的概念﹐並利用集合的表示方式作為數學條件的敘述及關係的解釋﹒例如：我們將全體正整數組成的