离散数学之数理逻辑——第1章 命题逻辑基本概念

1.1 命题与联结词 命题与真值 可以判断真假的陈述句称为命题。作为命题的陈述句所表达的判断结果称为命题的真值。真值为真的命题称为真命题；真值为假的命题称为假命题。任何命题的真值都是唯一的。 判断给定句子是否为命题，应该分两步：首先判定它是否为陈述句，其次判断它是否有唯一真值。 eg: 我正在说假话。 （悖论） 3. 悖论：由真能推出假，由假能推出真，从而既不能为真又不能为假的陈述句称为悖论。 不

>>阅读原文<<