论文部分内容阅读
在数学中,判断一件事情的语句叫作命题;在中学课本中,可以判断真假的语句叫作命题。这两个定义都不严密,其定义中使用的判断一词,与中文中通常的意义不全相同。在逻辑学中,它的意义是:判断是对客观事物有所肯定或否定的思维形式,判断有真有假。所以,我们定义是:命题是这样的语句,这个语句能够判断真假。本文主要探讨数学逻辑中的思想。