content+provider 源代码

Untitled Document 基于真值表的推理 有效结论：   给定两个命题 A 和 B，A

daishuxitong 代数系统 代数系统 设 S 是一个非空

bibao 关系的闭包 一、概念     闭包分成：自反闭包、对称闭包、传递闭包 1、自反闭包 …

jihe 集  合 集合

bibaoxingzi 其他次序关系 一、拟序     设R为P上的二元关系，若R为反自反的、反对称的、可传递的，则称R为P上的拟序关系，…

shangdaishu 商 代 数     对于

danweiyuan 单位元 单位元(幺元) 设 * 是集合 X 中的

Untitled Document 约 束 1、约束部分   在谓词公式中，形如

Untitled Document 谓 词 公 式 原子谓词公式   只含有一个

Untitled Document