单项选择题 命题公式（PQ）P是（）。

单项选择题 谓词公式xA（x）xA（x）的类型是（）。

单项选择题 关于传统程序描述正确的是（）。