- 422 名前：１３２人目の素数さん [2013/12/25(水) 15:54:58.12 ]
- ShoenfieldのMathematical LogicのP23の問題なのでが
k項真理関数Hが真理関数H_1,..,H_kによって定義可能であるのはHが定義
H(a_1,...,a_n)=・・・
を持つ時である。ただし右辺はH_1..,H_k、a_1...,a_nとカンマ、括弧で作られる。
Hd,nはHd,n(a_1,...,a_n)=T iff 少なくとも一つのiに対しa_i =Tによって定義されそしてHc,nを
Hc,n(a_1,...,a_n) =T iff すべてのiに対してa_i=T
とおくことによって定義される真理関数としよう。
すべての真理関数がH¬とHd,nとHc,nによって定義可能であることを示せ。
(H¬(T)=F、H¬(F)=T)
初歩的な問題ですがわかる方おりましたらよろしくお願いします。
意味はわかるのですが、どう書けばいいのか表記法の点でわからないのです。
