以前 大纲中没有纳入模态推理。可是，2007年起，多个地区的地方 都纷纷出现了模态试题。如北京试题：

高薪未必养廉。由“高薪未必养廉”这句话我们可以推出：

A．……

B．……

……

广州试题：

美国前总统林肯说过：“最高明的骗子，可能在某个时刻欺骗所有人，也可能在所有时刻欺骗某些人，但不可能在所有时刻欺骗所有的人。”

如果林肯的上述断定是真的，那么下述哪项断定是假的?

A ．……

B．……

……

上述试题，都出现了“未必、可能、不可能”等词项，这些词项定义了命题具有模态性。这个趋势值得重视。所以，我们对模态命题做些必要的介绍。

用“◇”表示“可能”，用“口”表示“必然”这两个逻辑常项；用“P”表示“起火”等命题变项，则“◇P”、“口P”就有了具体的语义：可能起火、必然起火…；另设：“—”为否定符号，读“非”，这样，可以抽象定义4种基本模态命题的形式如下：

序号    符号形式  例句(P=起火)

1    口P    必然起火

2    口一P    必然不起火

3    ◇P    可能起火

4    ◇一P    可能不起火