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