设P是任意谓词，论述域是（1,2,3)，命题的真值等于命题的真值吗？

设论述域是具有如下定义的谓词的数学断言的集合：

P(x)表示“x是可证明的”;

T(x)表示“x是真的”;

S(r)表示“x是可满足的”;

D(x, y, z)表示“z是析取式xVy”,

翻译下列断言为中文，使我们翻译尽可能自然。例如译成“如果y是断言wVx,z是断言:xVw,并且y是可证明的，那么z是可证明的”.

设B为A=(1，2，3，...，n)的任一排列。

a)试证明，B是A的一个栈混洗，当且仅当对于任意1≤i＜j＜k≤n，P中都不含如下模式：{...，k，...，i，...，j，...}

b)若对任意1≤i＜j＜k＜n，B中都不含模式{...，j+1，...，i，...，j，...}，则B是否必为A的一个栈混洗？若是，试给出证明;否则，试举一反例。

c)若对任意1＜i＜j＜k≤n，B中都不含模式{...，k，...，j-1，...，j，...}，则B是否必为A的一个栈混洗？若是，试给出证明;否则，试举一反例。

A.自然数

B.实数

C.复数

D.A，B，C均成立

设个体域为实数集R,F(x):x>5,求下列0元谓词的真值.

(5). (6)F(7.9).