本文详细介绍了形式化逻辑表达式的定义与语法结构，通过一个具体的数学公式展示了一种通用的逻辑表达式定义方法，涵盖了从基本逻辑运算到模态逻辑的各种元素。
\usepackage{amsmath}
\begin{align*}
\phi::= &true|false|\neg\phi|\phi\wedge\phi'|\phi\vee\phi'|(\phi\rightarrow\phi')|AX\phi|EX\phi|AF\phi|AG\phi|EF\phi|EG\phi \\
&|A[\phi U\phi']|E[\phi U\phi']
\end{align*}
其中， &表示需要对齐的地方， \\表示需要换行的地方。注意，在 \begin{align*}和 \end{align*}中间的公式内容不要使用$$
效果如下图所示：
\begin{align*}
\phi::= &true|false|\neg\phi|\phi\wedge\phi'|\phi\vee\phi'|(\phi\rightarrow\phi')|AX\phi|EX\phi|AF\phi|AG\phi|EF\phi|EG\phi \\
&|A[\phi U\phi']|E[\phi U\phi']
\end{align*}
其中， &表示需要对齐的地方， \\表示需要换行的地方。注意，在 \begin{align*}和 \end{align*}中间的公式内容不要使用$$
效果如下图所示：
扫一扫
63
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
