Adequate Sets of Temporal Connectives in CTL - Martin () Citation Context ...mulae. 105Considering only standard CTL operators, a minimal adequate set for CTL has 3 elements. One of them must be EX or AX, one of them must be EG, AF, or AU, and finally, one of them must be EU ...
1) minimum adequate set 极小完全集 1. By analyzing and discussing all combinations of twenty one-variable and two-variable connectives,we arrived at forty six minimum adequate sets of connectives. 通过分析和讨论20个一元和二元联结词的各种组合,得出46个联结词的极小完全集。 2) Generalized Complet...
1. 完全集 ... ) full function 功能完备 )adequate set完全集(功能完备集) ) the functional integrity test approach 功能完备性测定法 ... www.dictall.com|基于2个网页 2. 完备集 非形式命题演算 1.5 连接词的完备集(Adequate set) – Definition 1.23 若任何真值函数都可以表示为仅含一个集合中 的连...