?单命题
1 propositional equivalences 命题演算 1、命题(proposition) 2、从简单命题(atomic proposition)到 复合命题(compositional proposition) 3、从命题常量(propositional constant)到 命题变量(propositional variable) 4、从复合...
?一个原子命题集
硕士论文-基于VHDL的模型检查应用与实现 - docin.com豆丁网 的验证就是在Kripke结构上，按照状态转移关 系寻找满足条件的路径。 Kripke结构定义如下： 一个原子命题集（AP，atomicproposition）上的Kriple结构是～个四元组 M＝｛S，So，R，L｝，表示一个有限状态并发系统模型。其中： A
得到的原子命题
数 常原子命题
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。