Question

p且q的符号是什么？

Answer 1

p且q的且用"∩"表示。是联言命题又称为合取命题，是反映事物的若干种情况或者性质同时存在的命题。

在逻辑结构上，联言命题由逻辑联结词“并且”连接支命题而成。其支命题称为联言支，通常用p、q表示。联言命题的逻辑形式可以写成：p并且q，符号为：p∧q(“p并且q”）。∧称为合取词。

简介

为了简单化，我们使用自然演绎系统，它没有公理；或者等价的说，它有空的公理集合。 使用我们的演算的推导将用编号后的行的列表，在每行之上有一个单一的 wff 和一个理由（justification）的形式展示出来。

任何前提（premise）都在上部，并带有 "p" 作为它们的断定。结论将在最后一行。推导将被看作完备的，条件是所有行都是通过正确的应用一个规则而从前面的行得出的。