Various modal operators can then be applied to these atomic assertions to generate more complex assertions.

 
  • 于是,各种模态操作符都可以应用于这些原子断言以生成更复杂的断言。
今日热词
目录 附录 查词历史