
离散数学
Kaiwii
单调,简单
展开
-
原子谓词公式
项:可以用来指定某个对象理解:一个变量,其真实值可以实实在在的食物谓词符号:形如数学里面的函数。表示里面的各个变量(这里指的是:对象)之间的关系而原子谓词公式就是项与谓词符号的结合体。举个例子:belong(Kaiwii,scut)就是一个原子谓词公式。分析:belong(X,Y)是一个谓词符号,表示:X是Y里面的一员。Kaiwii是一个项,表示:Kaiwi原创 2011-12-01 14:47:10 · 3946 阅读 · 0 评论 -
合取范式
合取式就是各个语句之间是与的关系,如A∩B∩C(其中,A、B、C分别是一个子句)析取式就是各个语句之间是并的关系,如A∪B∪C 合取范式:全部由析取范式子句合取而成的范式例如:A∩(D∪B∪C)∩(E∪F)原创 2011-12-01 15:26:52 · 4837 阅读 · 0 评论