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

逻辑学

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

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),接着再看更方便。

相关小说

锦年金缘 连载中
锦年金缘
浅和苏
很多年后,众人才知道,那年他们的遇见,早已注定……
0.6万字5个月前
六芒星之旅 连载中
六芒星之旅
白井空慕
即将成为下一位新神的白玖,在历练时经历的种种事情与磨难,最后迎来的会是什么?是要坚持自己的决定与旧神卡维斯特抗争还是归顺于他,成为傀儡?
2.1万字5个月前
你好,大妖 连载中
你好,大妖
这条小鱼在乎捏
我是一个半人半妖的妖怪我出生就被诅咒过所以我父母就不要我了丢给了我师傅白泽但是师傅说以后会一只大妖叫乘黄的非常爱我爱我?为什么也要丢下我?
0.8万字5个月前
半心遗音 连载中
半心遗音
岑笺
主要讲述的是一个法器被众人抢夺的多元素小说,也有宫斗,剧情狗血,慎入
1.2万字3个月前
归阔如故 连载中
归阔如故
星之曰月
修仙小说原创大女主回魂肉魄轮回尽,亦是相回白雪纷。每世抗命残伤奄,血发污衣浸红身。自曾梦影现故因,终是相遇还恩情。二世帮协将死人,长貌如吾一......
2.7万字2个月前
心灵山等雪 连载中
心灵山等雪
温💔柔🦋
讲述了一个叫顾思耀的皇子爱上了一个叫沈念心的女孩,在一次的大战中,顾思耀不想连累沈念心,骗走了她,自己却失去了生命,沈念心抱着顾思耀的身体,......
2.3万字2天前