The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operator set, and some corollaries are given.
探讨了模态逻辑系统s5的运算子性质,进而证明关于它的本原运算子集的一个定理,并给出一些推论。
Operator overloading that works well with generics and built-in primitive types.
运算子多载,适用于泛型及内建基本型别。
Operator overloading that works well with generics and built-in primitive types.
运算子多载,适用于泛型及内建基本型别。
应用推荐