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