使用上下文无关文法处理命题逻辑符号
Using context free grammar to work with propositional logic symbols
我目前正在尝试将上下文无关文法用于命题逻辑。
我想象这组终端看起来像这样：
T=(q,p,¬,∧,∨,→,⟷).
现在我需要定义一组产生式，它可以帮助我实现所有合法的复合命题。
谁能帮我？我真的不知道从哪里开始，大量的终端有点让我失望
从缩小问题的范围开始可能会有所帮助。具体来说，当唯一允许的符号是 p、q 和 ∧ 时，您能否为表达式编写 CFG？在这种情况下，每个表达式都是
- 单个命题变量，或
- 两个表达式的连词(∧)。
那会给出这样的东西：
E → p | q | E ∧ E
现在，您将如何添加使用 ∨ 的功能？其他符号呢？看看你能不能从这里拿走它。
我目前正在尝试将上下文无关文法用于命题逻辑。
我想象这组终端看起来像这样：
T=(q,p,¬,∧,∨,→,⟷).
现在我需要定义一组产生式，它可以帮助我实现所有合法的复合命题。 谁能帮我？我真的不知道从哪里开始，大量的终端有点让我失望
从缩小问题的范围开始可能会有所帮助。具体来说，当唯一允许的符号是 p、q 和 ∧ 时，您能否为表达式编写 CFG？在这种情况下，每个表达式都是
- 单个命题变量，或
- 两个表达式的连词(∧)。
那会给出这样的东西：
E → p | q | E ∧ E
现在，您将如何添加使用 ∨ 的功能？其他符号呢？看看你能不能从这里拿走它。