只要可以判断真假的陈述句,都是命题.不管我们是否知道,只要能判断就行.比如说2050年的5月1日会下雨,我们不知道会不会下雨,但是到了那一天,我们就知道了,也就是说可以判断真假的.这在逻辑数学,离散数学都有说明.