数学联邦政治世界观
超小超大

逻辑学

为审慎起见,答案自带数学证明:

1)设x为任意个体变元,P(x)与Q(x)分别为定义x的命题,则当P(x)与Q(x)不等价时,有

(∀x)P(x)├ S(x)→Q(x) ⊬ S(x)

即概念的定义不等价必导致推理结论不一致,因而矛盾律必须被遵守.

证明(李,2023):设H为表征变元为重言式的谓词,则由蕴含的传递性及充分条件与必要条件的关系,有

(∀x)P(x)⇎Q(x)

⇒ (∀x)¬H(P(x)↔Q(x))

⇒ (∀x)Q(x)↛P(x)

⇒ (∀x)¬(P(x)↔Q(x))

⇒ (∀x)(Q(x)⊬P(x))

⇒ (∀x)(Q(x)⊬P(x))→Q(x) ⊬ S(x)

⇒ (∀x)P(x)├ S(x)→Q(x) ⊬ S(x)

Q.E.D.

2)设S为表征变元不服从矛盾律的二元谓词,T为同真谓词,F为同假谓词,则

(∀x)S(P(x), ¬P(x))→T(P(x))∨F(P(x)

上式表征,若有违矛盾律则世无假话或世无真话.

证明(李, 2023):设Z为表征变元满足必有一假的二元谓词,Ç为表征变元同真或同假的二元谓词,则

(∀x)S(P(x), ¬P(x))

⇒ (∀x)¬Z(P(x), ¬P(x))

⇒ (∀x)Ç(P(x), ¬P(x))

⇒ (∀x)S(P(x), ¬P(x))→T(P(x))∨F(P(x)

Q.E.D.

3) 设S⁺为表征变元不服从排中律的二元谓词,T为同真谓词,F为同假谓词,则

(∀x)S⁺(P(x), ¬P(x))→T(P(x))∨F(P(x)

上式表征,若有违排中律则世无假话或世无真话.

证明(李,2019):设Z⁺为表征变元满足必有一真的二元谓词,Ç⁺为表征变元同真或同假的二元谓词,则

(∀x)S⁺(P(x), ¬P(x))

⇒ (∀x)¬Z⁺(P(x), ¬P(x))

⇒ (∀x)Ç⁺(P(x), ¬P(x))

⇒ (∀x)S⁺(P(x), ¬P(x))→T(P(x))∨F(P(x))

Q.E.D.

在逻辑问题上,不建议以哲学固有的半散文-半杂文语言描述或解释逻辑规则,否则极易造成逻辑上的疏漏。千百年来,哲学之所以一错再错,就是因为哲学热衷于以洋洋洒洒的半散文-半杂文语言在本需高度审慎的论域比划来比划去的处理涉逻辑问题,其结果势必大概率比划出逻辑上的纰漏而全然不觉。

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

兰式玉 连载中
兰式玉
匕首_27562892568598715
苏章是个杀手在执行任务时意外身亡,在睁眼就到了个陌生的地方,还绑定了万圣2.0系统,在个个小世界演绎角色。
1.6万字3个月前
琴落玉湖 连载中
琴落玉湖
烟霏雨
这是一个民族的崛起与消亡史,尽管今天的人几乎不曾听过它的故事,但那两个女人的勇敢,同雪山、阳光一样神奇不朽
1.3万字3个月前
秋风下的女孩 连载中
秋风下的女孩
166***982_8882861693
同化,初心,消散
0.3万字3个月前
厄瑞波斯与光 连载中
厄瑞波斯与光
橋奈洋子
2.4万字3个月前
我嘞个豆啊循环 连载中
我嘞个豆啊循环
云开半雾
以后再说吧反正剧情自我感觉良好哈只是文笔不太好如果有人看可以看见意想不到的反转哈
0.9万字2个月前
复仇:命运挽杀 连载中
复仇:命运挽杀
幻夏星河
“杀手的复仇,才刚刚开始。”-林怀雾“一刻之仇,一生莫忘。”-林怀尘“我的复仇,可没有那么简单。”-林思月“君子报仇,十年不晚。”-林思星杀......
0.7万字2个月前