模态逻辑是研究必然、可能及其相关概念逻辑性质的逻辑系统。

猜你喜欢

• 存储器每个逻辑段的首地址一定能被10整除。
• 存储器的物理地址可根据逻辑地址计算得到，反之也可根据物理地址计算得到逻辑地址，且一个物理地址对应一个逻辑地址。
• 能够访问存储器代码段的逻辑地址是（）。
• 培根的《新工具》是逻辑史上第一本逻辑书。
• 学习逻辑知识是提高人的思维能力的一个充分条件。