形式逻辑-反思1

1、模态命题及其推理

[x]模态命题：陈述事物的必然性或可能性。

            特征：包括“可能”、“必然”、“一定”

[x]矛盾关系：（每个斜线角，＋不→就是否定，取相反意思）

                    可能不→不（可能不）=必然是

                    必然是→不（必然是）=可能不是

[x]注意：模态词转换，只能转换模态词，原来的名词（主语）啥的不能转换，如题中高薪未必养廉=高新可能不养廉≠底薪肯定不廉

2、直言命题及其推理

[x]直言命题（性质命题）：断定对象是否具有某个性质或没有某个性质。

[x]T：真实的，符合事实的 。F：不真实的，不符合事实的

[x]主要论述的是“范围（所有、有的）、肯定、否定”的三个问题。

[x]注意点：

      1≤有些、有的≤全部

      有些：含义广泛，不可能是0，也包含全部。

      所有=都

      如果A，那么B=A →B

      所有的A都是B=A →B

      汉语中的“都是”=“如果……那么……”

反对关系→敌对：不能同真，可能同假，至少一假      你洗不是我洗，我洗不是你洗，也可能咋两个都不洗

下反对关系→兼容：可同真，但不能同假，至少一真   娃你接，娃我接，但不能两个都不接