myselfmylife的博客

原创 学习离散数学第一天

1.运算的本质是集合之间的特殊映射。 2.表达式：当且仅当能够有限次的应用数，未知数，运算符，括号的符号串为表达式。表达式是一个递归定义，递归的出口是数和未知数。 3.命题：能够确定真值的陈述句称为命题。真值只有真假两种用T和F表示不能有悖论。 4.在数理逻辑中，我们使用大写字母，带下标的大写字母，数字表示命题。 5.如果一个命题标识符表示确定的命题，就被称为命题常元。如果只表示任意命题的...