| a b . | “a”和“b”的逻辑与 |
| a b , | “a”和“b”的逻辑或 |
| a < | “a”的逻辑非 |
| a b > | “a”推出“b”（a → b） |
| a b = | “a”和“b”等价（同或） |
| f x E | 存在量词 ∃x：对表达式 f 关于变量 x 做存在量化 |
| f x A | 全称量词 ∀x：对表达式 f 关于变量 x 做全称量化 |
E / A，也可以直接写符号 ∃ / ∀；
点上面的 ∃ / ∀ 按钮可以快速插入。量词会把变量从图中消去（约束变量不再出现在自由变量里）。
a b . fe > ：a 与 b 推出 fea b . fe ge > = ：a 与 b 等价于 fe 推出 gea b , x E ：存在 x 使 a 或 b 成立a b . x A ：对任意 x 均有 a 且 b 成立a b . x ∃ fe > ：先对 x 做存在量化，再与 fe 做推出就绪：请输入逆波兰逻辑表达式后点击“解析文本”。