分类离散数学下的文章 - BLOG

分类 离散数学 下的文章

离散数学第二章一阶逻辑谓词整理

2022-10-14 ｜0 条评论

离散数学第二章一阶逻辑谓词整理用以刻划客体的性质或客体之间的关系即是谓词n元谓词，谓词标识符（客体变元1，客体变元2，...，客体变元n），n元命题函数谓词常量：表示具体性质或关系的谓词称为谓...

离散数学第一章命题逻辑整理

2022-10-14 ｜0 条评论

离散数学第一章命题逻辑整理命题用逻辑符号翻译成命题不可兼或凡是不能用联结词分解出更简单的子命题的命题称为原子命题，反之称为复合命题，与原子命题对应的命题标识符叫做原子命题变元条件命题($\sim...

加载中... 到底了啦

加载更多