【基础逻辑学】1 有效推论 Valid Inferences

这是一个推论的例子

If you take my medication, you will get better.
You are taking my medication.

So, you will get better.

推断的有效性可以通过以下两种方式之一进行说明:
1.如果所有的假设都是正确的,那么结论就是正确的 wheneverallpremises are true, then the conclusion is true.
2.只要结论是错误的,那么至少一个假设是错误的 whenever the conclusion is false, thenat least onepremise is false.

由此,我们知道一个事件M,一个事件B。其中M可以推到出B(M=>B)
若已知M的结果为真,那么B为真(M=>B)
若已知B的结果为假,那么M为假 (!B=>!M) 这里用!代表非号

【斯多葛逻辑推断法 Stoic Logic】
1.If the first, [then] the second. The first.Therefore, the second
如果有A能推得B。那么有A的情况下,B就会为真

2.If the first, [then] the second. Not thesecond. Therefore, not the first.
如果有A能推得B。那么已知B不成立的情况下,A就为假

3.Not both the first and the second. The first. Therefore, not the second
如果A和B不能都是真的,那么已知A成立,那么B不成立

4.Either the first or the second. The first.Therefore, not the second.
如果AB只能存在一个(异或的关系) ,已知A是真的,那么B就不成立

5.Either the first or the second. Not the first.Therefore, the second
如果AB只能存在一个(异或的关系) ,已知A是不成立的,那么B就成立

【逻辑符号】
1.字面符号,如x,y等,代表事物作为我们概念的主体。
2.运行迹象,如+,−,×, 意指头脑的操作,通过这些操作,事物的概念被组合或分解,从而形成包含元素的新概念。
3.身份标志 = 用于赋值和推导

为了更好地解释这一点,我们可以将几种情况下的逻辑表达进行对比

最接近布尔逻辑Boole’s logic 的一种称为命题逻辑 propositional logic

【命题逻辑的成分】
1.用p,q,r...来代表不同的情况
2.逻辑符号

posted @ 2021-04-23 12:49  RetenQ  阅读(628)  评论(0编辑  收藏  举报