Arlo的博客

推理：由一个或几个已知的前提，推导出一个未知结论的思维过程称为推理。推理的基本要素就是表达这些前提的一些陈述句，每个陈述句或成立或不成立，一般来讲，限定于某种情况下，一个陈述句不可能既成立又不成立。成立或不成立可以看作是这个陈述勺的一个属性，称之为真值。真值的定义：成立或不成立可以看作是某一陈述句的一个属性，称之为真值。当陈述句成立时，就说其真值为真，表示为T；当陈述句不成立时，就说其真值为假，表示为F；注意：在语句中，一般将只有陈述句才能分辨其真假。判断命题的两个条件：一是语句本身是个陈述句，