离散数学考前复习：（二）数理逻辑

离散数学考前复习：（二）数理逻辑 2.1 命题及联结词 命题：命题是指一个判断（陈述）的语义（实际表达的概念），这个概念是可以被定义并观察的现象。命题不是指判断（陈述）本身，而是指所表达的语义。当相异判断（陈述）具有相同语义的时候，他们表达相同的命题。 命题联结词： 非：否定联结词（-p为真仅当p为假） 并：合取联结词（p∧q为真当且仅当q,p同为真） 或：析取联结词（p∨q为真当且仅当p或q有一

>>阅读原文<<