形式逻辑-反思1

作者: 小了白的兔 | 来源:发表于2022-06-08 11:55 被阅读0次

1、模态命题及其推理

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

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

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

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

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

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

2、直言命题及其推理

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

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

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

[x]注意点：

1≤有些、有的≤全部

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

所有=都

如果A，那么B=A →B

所有的A都是B=A →B

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

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

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

网友评论

本文标题：形式逻辑-反思1

本文链接：https://www.haomeiwen.com/subject/btrumrtx.html

形式逻辑-反思1