原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
逻辑思考概论_
PAGE
PAGE 1
邏輯思考概論 GE3903302 2:
PAGE 3
1
2 真值函數
2.1 真值函數
命題邏輯的語句連詞都是真值函數的(truth functional)，也可以說語句連詞表達真值函數。真值函數是一種特殊的函數，它是從真假值對映到真假值的函數。
函數可以視為是將一項目關聯到另一項目的規則。一函數是由某種項目所限定，這種項目是函數的可能輸入(input)。每個輸入，函數會賦予另一項目(可以是同一項目)做為輸出(output)。輸入與輸出可以是同類項目，也可以是不同類項目。例如「x的平方」，它的輸入是x，輸出是x2，兩者都是數目。函數「x的父親」，如果輸入是人，則輸出也是人。上述兩函數是輸入與輸出同類的例子。函數「x的兒子的個數」，輸入是人時，輸出是數目，這是不同類的例子。對每個輸入而言，有而且只有一個輸出。我們稱輸入為函數的「自變項」(argument)，稱輸出為對映該自變項的「值」(value)。函數「x的平方」可以寫成f(x) = x2。‘x’是函數的自變項，‘x2’是函數的值。‘f’稱為函元(functor)。
真值函數是以真假值為自變項，產生真假值做為對映的值。一簡單真值函數的例子是自變項為T而產生F值，自變項為F時產生T值。
自變項
值
T
F
F
T
這個例子是一元真值函數(unary truth function)。總共只有四個一元真值函數。二元(binary)真值函數有16種，三元(ternary)真值函數有256種。二元函數可以視為是同時有兩個自變項，第一自變項與第二自變項。也可以將二元函數視為只有一自變項，以序對(ordered pair)做為它的自變項。真值函數可以被描述為以單一真假值、真假值序對，或真假值的三元序列(ordered trio)等等為其自變項的函數。可以用n元序列(ordered n-tuple)來表示一般情況。如果以第一種方式來看，真值函數是以一個或一個以上的真假值(有次序的)為自變項的函數。真值函數的值是單一的真假值。第二種是以真假值的n元序列為自變項，以單一真假值為函數的值。
底下是一個二元真值函數的真值表的例子：
第一自變項
第二自變項
值
T
T
T
T
F
F
F
T
T
F
F
T
可以用φ代表第一自變項，是任何命題，ψ是第二自變項，也是任何命題。「φ→ψ」正好符合這個函數：
φ
ψ
φ→ψ
T
T
T
T
F
F
F
T
T
F
F
T
「φ→ψ」的真假值就是這個二元真值函數的值。從{T, F}中拿任何兩個真假值為一對當自變項。
〈T, T〉|?? T
〈T, F〉|?? F
〈F, T〉|?? T
〈F, F〉|?? T
這種函數就是真值函數，它以真假值{T, F}的集合當作它的域(domain)與值域(range)。當真值函數以兩個真假值當作它的自變項時，我們稱它是二元真值函數，也就是一函數從{T, F}?{T, F}對映到{T, F}。一n元語句連詞可以表達一n元真值函數。
底下是一個三元真值函數的真值表的例子：
第一自變項
第二自變項
第三自變項
值
T
T
T
T
T
T
F
F
T
F
T
F
T
F
F
F
F
T
T
F
F
T
F
F
F
F
T
F
F
F
F
F
φ代表第一自變項，ψ是第二自變項，θ是第三自變項。「φ?ψ?θ」符合這個三元真值函數。
會有多少個不同的n元真值函數，可以用22n計算出來。有4種不同的一元真值函數：
(1) T |?? T (2) T |??T (3) T |?? F (4) T |?? F
F |?? T F |?? F F |?? T F |?? F
第一種一元真值函數例如：P??P。命題字母本身例如：P表達第二種一元真函數。否定號加上命題字母，例如：?P 所表達的真值函數是第三種。第四種一元真值函數例如：P??P。二元真值函數有16種不同的函數：
P
Q
φ1
φ2
φ3
φ4
φ5
φ6
φ7
φ8
φ9
φ10
φ11
φ12
φ13
φ14
φ15
φ16
T
T
T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F
T
F
T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F
F
T
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
F
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
三元真值函數有256種，比較複雜，這裡略而不談。
2.2 真值函元
語句連詞可以表達真值函數，語句連詞本身稱為真值函元(truth functor)。否定號 ? 是一元真值函元。?, ?, →, ?等是二元真值函元。
{?, ?, ?}這一組真值函元可以把16種二元
文档评论（0）