指出以下各式哪些不是命题公式，如果是命题公式,请说明理由:

（）蓝色和黄色可以调配成绿色。判断以上语句是否为命题,若是命题请指出是简单命题还是复合命题;指出命题公式的真值

什么是命题公式的蕴涵？

用有序树表示下述命题公式：

给出弄真下列命题公式的指派.

指出下列谓词公式中的量词及其辖域,指出各自由变元和约束变元,并回答它们是否是命题.

命题公式是（.).A矛盾式B.可满足式C.重言式D.不能确定

命题公式的弄真指派是（).A.000,001,110B.001,011,101,110,111C.全体指派D.无

指出下列语句哪些是命题,哪些不是命题，如果是命题,指出它的真值。 a)离散数学是计算机科学系的一门必修课。 b)计算机有空吗？ c)明天我去看电影。 d)请勿随地吐痰! e)不存在最大质数。 f)如果我掌握了英语、法语,那么学习其他欧洲语言就容易得多。 g)9+5≤12。 h)x=3. i)我们要努力学习。

将语句“如果今天是周三，则昨天是周二”翻译成命题公式。

MM的无公司税模型命题二可用公式表示为：KsL = KsU +（KD-KsU) （SL/D)。（）

设S={G1，…，Gn}是命题公式集合。试求出在不增加新原子的情况下从S出发演绎出的所有命题公式。提示：考虑G1^…^Gn的主合取范式。