2 章 (第1/2頁)
佚名提示您:看後求收藏(貓撲小說www.mpzw.tw),接着再看更方便。
1,它就會輸出2;往裏面輸入67,它就會輸出68。或者,f(x的爸爸)這個函數,往裏面輸入曹植,它就會輸出曹操;往裏面輸入孫權,它就會輸出孫堅。
邏輯學中的真值函數與數學中的函數很相似,也是輸入一些值,輸出一些值。在這裏,我們需要認識3個最常見的真值函數。第一個叫做「否定」,它的運算方式很簡單,如果命題P是真的,那麼命題P的否定就是假的。如果命題P是假的,那麼命題P的否定就是真的。也就是說,否定這個真值函數機器,會將輸入進去的句子的真值倒轉過來。輸入真就會輸出假,輸入假就會輸出真。
比如,「北京是中國的首都」,這個命題事實上是真的。那麼輸入否定這個真值函數機器後,這個命題就變成了「北京不是中國的首都」,那它就是假的。而「上海是俄羅斯的首都」這個命題事實上是假的,在輸入否定這個真值函數機器後,變成了「上海不是俄羅斯的首都」,也就變成了真的。
第二個真值函數叫「合取」,「合併」的「合」,「錄取」的「取」。「合取」這個真值函數機器,要求往裏面輸入的語句都是真的,它纔會輸出真這個真值。如果往裏面輸入的語句,哪怕只有1個是假的,那它就會輸出假這個真值。
比如,「AndyLee是男性」「AndyLee學過心理學」「AndyLee學過邏輯學」這三個命題都是真的,把它們都輸入合取機器,就變成了「AndyLee是學過邏輯學和心理學的男性」,這個命題也是真的。而「AndyLee是女孩子」「AndyLee學過心理學」「AndyLee學過邏輯學」這三個命題,至少有1個不是真的。它們合取起來,變成了「AndyLee是學過心理學和邏輯學的女孩子」,這個命題雖然部分是真的,但整體看來是假的。
第三個真值函數叫「析取」,「分析」的「析」。往析取這個真值函數機器中輸入的語句,只要有1個是真的,整體就是真的。全部是假的,整體纔是假的。析取這個專業的說法,也可以讀作「或者」。所以下面我們將它讀作「或者」。
舉幾個例子。AndyLee是搖滾歌手,AndyLee是萌妹子,AndyLee是編程專家。這三句話都是假的,那麼析取起來,變成「AndyLee是搖滾歌手或編程專家或萌妹子」,整體也是假的。但如果換成,「AndyLee是搖滾歌手或編程專家或男性」,由於「AndyLee是男性」這個命題是真的,那麼整個複合命題,雖然大部分是假的,但整體是真的。
關於真值函數這個知識點,我們就先說到這。接下來,讓我們來看第二個知識點,也就是模態算子。