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

数学问题

这是一个数学问题,答案取决于如何定义“推出的东西”.

1)若将“推出的东西”定义为有效结论,那么该结论有真有假. 例如,设0=1,则下列结论显然为假:

0=1

0*9=1*9

0=9

2)若将“推出的东西”定义为形如A→B的条件命题,并且B是A的有效结论,那么无论B真假,只要A→B不是前真后假,A→B整体上也为真,即∀x, yF(x→y)↔T(x)∧F(y)

式中F为表假谓词,T为表真谓词,上式是条件联结符真值的一阶语言表述,证明从略.

例如,虽然基于假命题0=1推出的0=9也是假命题,但由两假结合而成的0=1→0=9却是一个如假包换的真命题,即“如果0=1,则0=9”为真. 再如,“假如哲学思维都能推导出普遍规律,那么母猪都能上树”之所以为真命题,是因为作为非定量的半散文-半杂文思维的哲学思维根本不可能推导出任何普遍规律.

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

相关小说

永远停驻于那个夏天吧 连载中
永远停驻于那个夏天吧
4000時
请关注四千时谢谢喵【自留oc向】第一次在话本写东西!这是纯oc向的小说てす!一起去鬼屋探险吧!杂乱剧情注意‼️多结局注意❗️男频剧情️,女频......
0.7万字5个月前
斗龙战士2之东方末与云知画 连载中
斗龙战士2之东方末与云知画
云知画
正义顽强的东方末和明媚坚毅的云知画从一开始的毒舌相向,到并肩经历种种困难与生离死别,最终成为彼此生命中不可或缺的“soulmate”的故事。......
1.9万字4个月前
最后让我在看ta 连载中
最后让我在看ta
南屿崽
我是林川,永远爱着别人31的林川的想问29岁的林川,值得吗?我就是我,谁都替代不了四季的轮回,我们还会在见面的最后在看ta,看的是她还是他记......
10.8万字4个月前
溺于夏海 连载中
溺于夏海
颜笙_17007168380330353
我从小就是不幸的人,我的不幸换来了他的出现,可阳光永远不会在我身上停留太久,我会追逐阳光,可每次只差一步
1.8万字3个月前
道藏玄止 连载中
道藏玄止
云舟隐鹤
腹黑疯批事业派女主披荆斩棘,干翻倒霉亲戚,打趴狐狸窝长老会,与魔王男主相爱相杀的故事。【注意】本文群像风,除男女主外有多对cp,各种都有,但......
71.7万字1个月前
重返未来1999:跨越时空壁障的白龙 连载中
重返未来1999:跨越时空壁障的白龙
The fool_46540950765
0.4万字2周前