13/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)
初歩的な問題ですがわかる方おりましたらよろしくお願いします。
意味はわかるのですが、どう書けばいいのか表記法の点でわからないのです。