以前足球游戏大纲中没有纳入模态推理。可是，2007年起，多个地区的地方足球游戏都纷纷出现了模态试题。如北京试题：
高薪未必养廉。由“高薪未必养廉”这句话我们可以推出：
A．……
B．……
……
广州试题：
美国前总统林肯说过：“最高明的骗子，可能在某个时刻欺骗所有人，也可能在所有时刻欺骗某些人，但不可能在所有时刻欺骗所有的人。”
如果林肯的上述断定是真的，那么下述哪项断定是假的?
A ．……
B．……
……
上述试题，都出现了“未必、可能、不可能”等词项，这些词项定义了命题具有模态性。这个趋势值得重视。所以，我们对模态命题做些必要的介绍。
用“◇”表示“可能”，用“口”表示“必然”这两个逻辑常项；用“P”表示“起火”等命题变项，则“◇P”、“口P”就有了具体的语义：可能起火、必然起火…；另设：“—”为否定符号，读“非”，这样，可以抽象定义4种基本模态命题的形式如下：
序号 符号形式 例句(P=起火)
1 口P 必然起火
2 口一P 必然不起火
3 ◇P 可能起火
4 ◇一P 可能不起火
公众号
事业单位
当前位置：
公考类
招聘类
各类考试
