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的运算子性质,进而证明关于它的本原运算子集的一个定理,并给出一些推论。
The S5 ($400 per unit) is different; it has both the wireless receiver and the speakers built into a single box.
这件S5 (每件400美元)不同以往;它把无线接收器和扬声器集成在了单独的盒体中。
For those who are lack of spare part during normal production, the upgrading of S5 into S7 is a feasible method.
对于正常生产缺少备件的用户来说,S5升级S7是一种切实可行的方法,值得借鉴。
应用推荐