1.1.1命题的概念 数理逻辑研究的中心问题是推理,而推理的前提和结 论是表达判断的陈述句,因而表达判断的陈述句构成了推 理的基本单位,于是我们称判断真假的陈述句为命题为 此,我们可以说:命题逻辑的研究对象是命题. 定义1.1-1凡是可以判断真假的陈述句均称为命题 命题有两个特征: (1)命题必须是陈述句,而不是感叹句、疑问句、祈 使句等句型 (2)命题是具有真值的 命题是一个正确命题时 命题的真值为真,用字母T表示;当一个命题是错误命题时 命题的真值为假,用字母F表示 因此,命题又称为具有确定真值的陈述句1.1.1 命题的概念 数理逻辑研究的中心问题是推理，而推理的前提和结 论是表达判断的陈述句，因而表达判断的陈述句构成了推 理的基本单位，于是我们称判断真假的陈述句为命题.为 此，我们可以说：命题逻辑的研究对象是命题. 定义1.1-1 凡是可以判断真假的陈述句均称为命题. 命题有两个特征： （1）命题必须是陈述句，而不是感叹句、疑问句、祈 使句等句型. （2）命题是具有真值的.当一个命题是一个正确命题时， 命题的真值为真，用字母T表示;当一个命题是错误命题时， 命题的真值为假，用字母F表示. 因此，命题又称为具有确定真值的陈述句