命题类型之一:逻辑表达式

逻辑表达式有两种:“与”和“或”。

逻辑表达式没有 文字内容。一个逻辑表达式是由“与”或“或”将若干命题或命题的否定形式相连而成的。

例如,已有三个命题 A, B, C,则可以创建如下形式的逻辑表达式:

  • \(A \land C\)
  • \(A \lor \neg B\)
  • \(\neg A \land B \land \neg C\)

同一个逻辑表达式中只能使用“与”和“或”之一。如果需要组合“与”和“或”,需要创建多个逻辑表达式并将它们通过不同类型的逻辑表达式组合在一起。