逻辑 - 模态命题

1. 什么是模态命题

   模态命题反映事物情况存在或发展的必然性或可能性的命题。特征：模态命题包含"可能" “必然” "一定"等模态词。

2. 模态命题的性质

  2.1 必然命题

    必然命题是陈述事物情况的必然性的命题，通常用"必然" “必定” "一定"等词作为它的模态词。
    必然：在所有的情况下，事情都会发生，概率为100%。

  2.2 可能命题

    可能命题是陈述事物情况的可能性的命题，通常用"可能" “或许” “也许” "大概"等词作为它的模态词。
    可能：在有些情况会发生，0<概率<=100%

  2.3 必然命题与可能命题的转换

    不可能 = 必然不 = 一定不
    不必然 = 不一定 = 可能不

3. 模态命题的矛盾关系

  3.1 什么是矛盾关系

    矛盾关系是指一个真命题，另一个命题必假；一个命题假，另一个命题必真，即：两句判断在任何情况下，既不能同假，也不能同真的关系，穷尽所有可能性，必一真一假的关系。

  3.2 模态命题的矛盾关系

    这里有一定的技巧可以使用上面的必然命题与可能命题的转换方法解决
   3.2.1 必然A & 不可能A
       否定了"必然A"可得：不必然A=可能不A
   3.2.2 可能A & 必然不A
       否定了"必然A"可得：不必然A=可能不A