The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operatorset, and some corollaries are given.
探讨了模态逻辑系统s5的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
2
This value can be changed or edited by the operator, a Set button can be pressed, and when this is done, a property is fired off with the current value in the edit field.
该值可由操作员修改或编辑，然后可以按下Set按钮，设置之后，Edit字段的当前值将触发属性。
3
The double-dot operator invokes mutator methods to set values for each of the address attributes.