离散数学定义(必须背)
命题逻辑(论域)定义:论域是一个数学系统,记为D。它由三部分组成:(1)一个非空对象集合S,每个对象也称为个体;(2) 一个关于D的函数集合F;(3)一个关于D的关系集合R。(逻辑连接词)定义设n>0
离散数学定义(必须背)