18、共享单车系统设计的逻辑支持

共享单车系统设计的逻辑支持

1. 逻辑系统性质

在逻辑系统中，存在一系列重要的性质，这些性质大多是单向蕴含关系，因为LNC句子的全局满足依赖于对参与者的隐式全称量化。具体性质如下：
- $\langle D, C\rangle\vDash_w \neg \phi$ 仅当 $\langle D, C\rangle\vDash_w\neg\neg \phi$
- $\langle D, C\rangle\vDash_w \phi_h \rightarrow\phi_c$ 仅当 $\langle D, C\rangle\vDash_w \phi_h \Rightarrow\phi_c$
- $\langle D, C\rangle\vDash_w \phi_1 \land\phi_2$ 当且仅当 $\langle D, C\rangle\vDash_w \phi_1 \land\land\phi_2$
- $\langle D, C\rangle\vDash_w \phi_1 \lor\phi_2$ 如果 $\langle D, C\rangle\vDash_w \phi_1 \lor\lor\phi_2$
- $\langle D, C\rangle\vDash_w \phi_1 \leftrightarrow\phi_2$ 仅当 $\langle D, C\rangle\vDash_w \phi_1 \Leftrightarrow\phi_2$
- $\langle D, C\rangle\vDash_w \exists X \cdot \phi’$ 如果 $\langle D, C\rangle\vDash_w\exists\exists X \cdot \p