第一章基础：逻辑与证明.pptVIP

第一章 基礎：邏輯與證明 1.1 命題邏輯 命題指的是有真假值之「述句」（declarative sentences，也就是陳述事實的語句），非真即假，但不能既真又假。 例：底下之述句皆為命題： 華盛頓特區是美國的首府。 多倫多是加拿大的首都。 1 + 1 = 2。 2 + 2 = 3。 語句1和語句3是真的命題，而語句2和語句4是假的命題。 例：讓我們來考量底下這些語句： 現在幾點？ 小心閱讀。 x + 1 = 2。 x + y = z。 語句1和語句2不能稱為命題，因為它們不是陳述性的語句（前者為疑問句，後者為祈使句）；至於語句3和語句4，就現有的文句來看，亦無真假可言，既不真也不假，所以不能成為命題。 通常用小寫的英文字母標示「命題變數」（propositional variables；或稱「述言變數」〔statement variable〕），也就是代表命題的變數 一個真的命題，它的真假值（truth value）為真，我們用T來表示；假的命題，真假值為假，我們用F代表。 將原有命題藉由邏輯運算符號建造組合之新命題，我們稱為「複合命題」（compound propositions）。 英國數學家喬治．布爾於其一八五四年之著作《思想法則》中，詳盡討論了這些方法 定義：令p為任一命題。 p的否定句（negation）為「p不成立」， 以?p代表。此命題?p讀作「非p」， 其真假值與p之真假值剛好相反。 真值表 例 ：找出「今天是星期五」的否定句，並以簡單文字表達。 解：否定句為「今天是星期五不成立」；更平常的表達方式是：「今天不是星期五」或「今天並非星期五」。 例：找出「邁阿密今天的雨量至少10英吋」的否定句，並以簡單的文字表達。 解：否定句為「邁阿密今天的雨量至少10英吋並不成立」；更平常的表達方式為「邁阿密今天的雨量不到10英吋」。 定義：令p與q為任二命題。 p與q的連言（conjunction）為「p和q」， 以p?q代表。 當p和q同時為真時，p?q為真；否則為假。 真值表 例：令p命題為「今天是星期五」，q命題為「今天下大雨」。請找出p與q的連言。 解：命題p與q的連言是「今天是星期五，而且下著大雨」。此複合命題只有在下大雨的星期五為真；對其他日子，以及沒下大雨的星期五而言，都是假的。 定義：令p與q為任二命題。p與q的選言（disjunction）為「p或q」， 以p?q代表。 當p和q同時為假時，p?q為假；否則為真。 真值表 例：令 p命題為「今天是星期五」，q命題為「今天下大雨」。請找出p與q的選言。 解：命題p與q的選言p?q是「今天是星期五或今天下著大雨」。此複合命題在任何一個星期五或下大雨的日子（也包括下大雨的星期五）都為真；只有在既非星期五，又沒下大雨的日子才為假。 定義：令p與q為任二命題。p與q之互斥性的或(exclusive or)， 以p?q代表。 當p和q恰為一真一假時，p?q為真；否則為假。 真值表 條件句（Conditional Statements） 定義：令p與q為任二命題。 條件句p?q，代表的是「如果p，則q」。 當p真q假時，條件句p?q為假；否則為真。 其中，p稱為前件（或假設、前提）， q稱為後件（或結果、結論）。 p?q之所以稱為條件句，是因為p?q這個述句所表達的是：當p條件成立時，q即為真。條件句有時也稱為「蘊涵」（implication）。 真值表 各種表達p?q的方式： 「如果p，那麼q」； 「若p，則q」； 「p蘊涵q」； 「只有在q時，才可能p」； 「p是q的充分條件」； 「q是p的必要條件」； 「每當p發生，q就發生」； 「沒有q，就沒有p」； 「q從p推得」； 「除非?p，否則q」。 例：令p命題為「瑪莉雅學習離散數學」，q命題為「瑪莉雅將找到很好的工作」。請以日常語言表達p?q。 解：根據條件句的定義，p?q代表的述句應該是：「如果瑪莉雅學習離散數學，那麼她就會找到很好的工作。」 當然，還有很多其他的日常語句可以表達這樣的命題，比如說：「對瑪莉雅而言，學習離散數學足以讓她找到很好的工作」以及「瑪莉雅將找到很好的工作，除非她不學習離散數學」等等。 例：考量底下之述句： 如果 2 + 2 = 4，那麼 x := x + 1 倘若在程式執行的過程中，尚未遇到此語句之前， x = 0；請問，處理此語句之後的變數值 x 為多少？（「:=」這個符號代表「賦值」〔assignment〕。x := x + 1的意思是：把 x + 1的值賦予 x。） 解：因為2 + 2 = 4是真的，所以賦值語句x := x + 1將被執行。因此，面對上述語句之後，x的值