3. 逼真性
關燈
小
中
大
uo假内容&rdquo，看來是行不通的。
為了得出a的假内容的度量CtF（a）的一個令人滿意的定義，規定一些必需的定理是有益的： （i） （ii） （iii） 0&leCtF（a）&leCt（a）&le1 （iv） CtF（contrad）＝Ct（contrad）＝1 式中&ldquocontrad&rdquo是自相矛盾的陳述的名字。
所需要的定理（iv）應該和定理 CtT（tautol）＝Ct（tautol）＝0 加以比較和對照。
式中&ldquotautol&rdquo是一個重言陳述的名字。
（v） （vi） （vii） CtT（a）＋CtF（a）&geCt（a） （如果取&ldquoa&rdquo為，例如&ldquocontrad&rdquo，則可看出這裡用&ldquo&ge&rdquo而不是&ldquo＝&rdquo的理由；因為在這種情況下，我們根據（iv）和CtT（a）＝Ct（t）得到CtF（a）＝Ct（a）＝1，但是，Ct（t）是最大真内容，它通常區别于零。
在一個無限域裡，Ct（t）＝1－p（t）通常将等于1。
） （viii）CtF和CtT在下述意義上關于Ct是對稱的：存在兩種函數，f1和f2，以緻 （a）CtT（a）＋CtF（a）＝Ct（a）＋f1（CtT（a），CtF（a））＝Ct（a）＋f1（CtF（a），CtT（a）） 就是說，f1關于CtT和CtF是對稱的；因此，結果我們便得到 （b） CtT（a）＝f2（Ct（a），CtF（a）） （c） CtF（a）＝f2（Ct（a），CtT（a））。
在按這些方式定義&ldquoCtF（a）&rdquo的各種可能性中，以下定義是可取的，這裡就采用這個定義： （12） CtF（a）＝1－p（a，aT）＝Ct（a，aT） 這個定義滿足我們的需要。
對于所要求的定理（i）和（ii）來說，這是顯而易見的；如果我們考慮以下定理，那麼這對于其他所要求的定理來說，也變得很清楚： （13） 因此 （14） CtT（a）＝Ct（a）－（CtF（a）p（aT））&leCt（a） （15） CtF（a）＝（Ct（a）－CtT（a））/p（aT） ＝（Ct（a）－CtT（a））/（1－CtT（a）） （16） CtT（a）p（a，aT）＝p（a，aT）－（p（aT）p（a，aT））＝p（a，aT）－p（a）＝Ct（a）－CtF（a） 于是，我們就得到 （17） CtF（a）＝Ct（a）－（CtT（a）p（a，aT））&leCta （18） 我們從（15）還得到 （19） CtF（a）－CtT（a）CtF（a）＝Ct（a）－CtT（a） 從而還有 （20） CtT（a）＋CtF（a）＝Ct（a）＋CtT（a）CtF（a） 所以，（17）表明（iii）得到滿足，而（20）表明（v）（vi）（vii）和（viii）也都得到滿足。
（iv）的滿足可以從p（contrad，t）＝0得出。
這表明，對CtF（a）所提出的定義（12）滿足一切我們所需要的定理。
但是，我們所需要的定理之一（vii）可能顯得不可滿足：或許可以看到&mdash&mdash盡管我們對（vii）作了評論&mdash&mdash我們應該假定 （一） CtT（a）＋CtF（a）＝Ct（a） 可以表明，方程（一）實際上決定了CtF：它将導緻定義（我們不接受這個定義） CtF（a）＝Ct（aT&rarra）＝1－p（aT&rarra） 式中&ldquoaT&rarra&rdquo（或者，我們還可以寫作&ldquoa&larraT&rdquo），是條件陳述&ldquo如果aT，那麼a&rdquo或者&ldquoa，如果aT&rdquo。
把這個定義和我們的（12）相比較，或者換句話說，把Ct（a&larraT）和Ct（a，aT）相比較（後者就是我們的CtF（a）），或者把p（a&larraT）和p（a，aT）相比較，是很有意思的。
誠然，我們有 CtT（a）＋Ct（a&larraT）＝Ct（a） 乍一看來，這似乎令人滿意。
但是，讓我們用&ldquocontrad&rdquo代替a： CtT（contrad）＝Ct（t）＝1－p（t
為了得出a的假内容的度量CtF（a）的一個令人滿意的定義，規定一些必需的定理是有益的： （i） （ii） （iii） 0&leCtF（a）&leCt（a）&le1 （iv） CtF（contrad）＝Ct（contrad）＝1 式中&ldquocontrad&rdquo是自相矛盾的陳述的名字。
所需要的定理（iv）應該和定理 CtT（tautol）＝Ct（tautol）＝0 加以比較和對照。
式中&ldquotautol&rdquo是一個重言陳述的名字。
（v） （vi） （vii） CtT（a）＋CtF（a）&geCt（a） （如果取&ldquoa&rdquo為，例如&ldquocontrad&rdquo，則可看出這裡用&ldquo&ge&rdquo而不是&ldquo＝&rdquo的理由；因為在這種情況下，我們根據（iv）和CtT（a）＝Ct（t）得到CtF（a）＝Ct（a）＝1，但是，Ct（t）是最大真内容，它通常區别于零。
在一個無限域裡，Ct（t）＝1－p（t）通常将等于1。
） （viii）CtF和CtT在下述意義上關于Ct是對稱的：存在兩種函數，f1和f2，以緻 （a）CtT（a）＋CtF（a）＝Ct（a）＋f1（CtT（a），CtF（a））＝Ct（a）＋f1（CtF（a），CtT（a）） 就是說，f1關于CtT和CtF是對稱的；因此，結果我們便得到 （b） CtT（a）＝f2（Ct（a），CtF（a）） （c） CtF（a）＝f2（Ct（a），CtT（a））。
在按這些方式定義&ldquoCtF（a）&rdquo的各種可能性中，以下定義是可取的，這裡就采用這個定義： （12） CtF（a）＝1－p（a，aT）＝Ct（a，aT） 這個定義滿足我們的需要。
對于所要求的定理（i）和（ii）來說，這是顯而易見的；如果我們考慮以下定理，那麼這對于其他所要求的定理來說，也變得很清楚： （13） 因此 （14） CtT（a）＝Ct（a）－（CtF（a）p（aT））&leCt（a） （15） CtF（a）＝（Ct（a）－CtT（a））/p（aT） ＝（Ct（a）－CtT（a））/（1－CtT（a）） （16） CtT（a）p（a，aT）＝p（a，aT）－（p（aT）p（a，aT））＝p（a，aT）－p（a）＝Ct（a）－CtF（a） 于是，我們就得到 （17） CtF（a）＝Ct（a）－（CtT（a）p（a，aT））&leCta （18） 我們從（15）還得到 （19） CtF（a）－CtT（a）CtF（a）＝Ct（a）－CtT（a） 從而還有 （20） CtT（a）＋CtF（a）＝Ct（a）＋CtT（a）CtF（a） 所以，（17）表明（iii）得到滿足，而（20）表明（v）（vi）（vii）和（viii）也都得到滿足。
（iv）的滿足可以從p（contrad，t）＝0得出。
這表明，對CtF（a）所提出的定義（12）滿足一切我們所需要的定理。
但是，我們所需要的定理之一（vii）可能顯得不可滿足：或許可以看到&mdash&mdash盡管我們對（vii）作了評論&mdash&mdash我們應該假定 （一） CtT（a）＋CtF（a）＝Ct（a） 可以表明，方程（一）實際上決定了CtF：它将導緻定義（我們不接受這個定義） CtF（a）＝Ct（aT&rarra）＝1－p（aT&rarra） 式中&ldquoaT&rarra&rdquo（或者，我們還可以寫作&ldquoa&larraT&rdquo），是條件陳述&ldquo如果aT，那麼a&rdquo或者&ldquoa，如果aT&rdquo。
把這個定義和我們的（12）相比較，或者換句話說，把Ct（a&larraT）和Ct（a，aT）相比較（後者就是我們的CtF（a）），或者把p（a&larraT）和p（a，aT）相比較，是很有意思的。
誠然，我們有 CtT（a）＋Ct（a&larraT）＝Ct（a） 乍一看來，這似乎令人滿意。
但是，讓我們用&ldquocontrad&rdquo代替a： CtT（contrad）＝Ct（t）＝1－p（t