“2=3”是命题吗 “5大于4”是命题吗

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/23 21:31:36
“2=3”是命题吗 “5大于4”是命题吗
xSn@{@mZE(=!UZ &j%Dhgw}/tKf޼7ڡ-jqk+p$x}{S笤?2iFƬ}B#pހ+̀&eOO!gp>$ĊwD LB5&M_N1ƱRO鉉0 [evWhoЌM )"j`$ry{ µg`@QNھKݥsprJ' ԅTƔt+9b+TTઘc0Gb=\rD,^Qஅ7&0*RuҪq}W}.+ v.]1VPJ]Uf`Q&ogЉ[̰."jrza'u˺n]!_,ERr}⭃>ߊ9~;^ xVP;kkCFH;n&=.}ʋ?h?

“2=3”是命题吗 “5大于4”是命题吗
“2=3”是命题吗 “5大于4”是命题吗

“2=3”是命题吗 “5大于4”是命题吗
都是命题.
命题的一个简单化的定义(不太准确,但足够用了):
如果任何一个句子P,我们问下面的问题都是有意义的:
P句子是真的吗?
P句子是假的吗?
那么P就可以被认为是命题.(参见Hodges[1977])
3楼的大哥说法有可能导致混淆,哥德尔不完全性定理说的只是在一个公理系统内,存在至少一个命题是真命题但是该系统无法证明它是对的;相应的,不能证明其否定是错的.可是并不是说该命题我们不可能知道是对是错.
我说的是问一个句子是对是错是有意义的就可以了,并不是说一个命题为真或为假一定要能证明出来.