4 章

佚名提示您：看後求收藏（貓撲小說www.mpzw.tw），接着再看更方便。

的確是這樣的。

也就是說，雖然很多說法都是模糊的，但我們在特定的情況下，又必須劃分出精確的標準。本書中有個例子，說的是「新自行車」。如果我們去自行車店裏買新自行車，會期待這個自行車是從來沒用過的。但如果是參加自行車比賽推薦用新自行車，那我們會認爲，9成新的車也算是新自行車，它的磨損並不嚴重，和嶄新的自行車一樣，都能賽出好成績。

總之，在不同的情況下，我們對精確性的追求不一樣。有些時候要求特別精確，一點模糊性都不能有。而有些時候，把話說得特別精確，又會顯得沒意思。比如，小明對小美說：「我對你的愛，就像月亮一樣，永不改變」。但是，仔細想想，月球大概在45億年前才形成，往後一直在慢慢變化。月球上有無數環形山，它們是被隕石撞出來的大坑。說不定很久以後，月球就會變得和今天差別很大了。但是，雖然精確地說，月亮並非永不改變，但是在說浪漫情話的情況下，我們就不要在意這些細節了。

以上就是我今天與大家分享的三個知識點，最後再來回顧一下吧。

第一個知識點叫真值函數。真值說的就是真與假這兩個值。一個命題的真值爲真，就是說這個命題符合事實。一個命題的真值爲假，那它就不符合事實。而函數就像是機器，輸入一些值後，就會輸出一些值。我們瞭解了3個真值函數。第一個叫「否定」，也就是把輸入的值變成相反的值。輸入真就輸出假，輸入假就輸出真。第二個叫「合取」，要求輸入的命題全都爲真，輸出才爲真。哪怕只輸入了一個假命題，整體上也會輸出假命題。第三個叫「析取」。這個函數只要輸入至少1個真命題，整體上就會輸出真命題；要全都輸入假命題，整體上纔會輸出假命題。

第二個知識點叫模態算子。模態算子一共只有兩個，一個叫「必然」，另一個叫「可能」。兩者可以互相轉化，必然爲真，也就是不可能不爲真。爲了理解模態算子，我們又瞭解了可能世界。可能世界是我們設想出來的世界。如果在所有的可能世界中，我都是萌妹子，那我就必然是萌妹子。如果在某一個可能世界中，我是萌妹子，那我就可能是萌妹子。也就是說，必然要求所有可能世界都怎麼樣，而可能只要求至少有1個可能世界的情況是怎麼樣的。

第三個知識點叫模糊性。日常生活中的大部分說法都是模糊的，也就是說，微小的變化並不會導致這種說法不成立。一個小孩長大一天後，還是小孩。一個窮人多了一元錢後，還是窮人。但是，在某些情況下，我們又必須追求精確性，排除模糊性。此時就需要武斷地劃分出一些邊界線。比如，大於等於60分就是合格，小於60分就是不合格。雖然60分和59分看起來沒有太大的差別。

我對本書的推薦，就到這裏了，希望對你有幫助。如果你對本書有興趣，不妨仔細讀一讀原書，看一看書上的圖表和公式的推導過程，也瞭解一下我們說的那些邏輯符號都長什麼樣。如果你對邏輯學有了更大的興趣，還可以找一本專業的邏輯學教材來讀。備案號:YX11v19bNNr<hr>

。