分からない問題はここに書いてね　４

�AP(x,y)が１般帰納的述語であるなら、あるkが存在してあるaに対してP(x,a)が真⇔
　あるbに対してT(k,x,b)が真であることの証明
�BP(x)が真⇔すべてのyに対してT(x,x,y)が偽とするならP(x)は帰納的に可算な述語ではないことの証明
�CP(x)が真⇔あるyに対してT(x,x,y)が真とするならP(x)は１般帰納的述語ではないことの証明
�DP(z,x)が真⇔あるyに対してT(z,x,y)が真とするならP(z,x)は１般帰納的述語ではないことの証明
以上をよろしくお願いします。