请输入您要查询的百科知识:

 

词条 合取
释义

用连词∧把几个公式连接起来而构成的公式叫做合取,而此合取式的每个组成部分叫做合取项。一些合适公式所构成的任一合取也是一个合取公式。

形式为“p并且q”的复合命题,其中p和q都是命题并且叫做合取支。在命题演算中,合取式被符号化为“p·q”,“pΛq”或者“p&q”。若把它当做真值函项,“p并且q”为真当且仅当p和q中每一个都真;如果有一个合取支为假,或两个合取支都假,则该合取式为假。我们可以从前提p和前提q推出结论“p并且q”,这叫做“合取规则”或“合取引入”。我们也可以从前提“p并且q”推出结论p或者推出结论q,这叫做“合取消除”。合取式还可以把多于两个的陈述组合在一起,如果能够断定所有这些陈述的话。

在语义网络中,合取命题通过引入“与”结点来表示。事实上,这种合取关系网络就是由与结点引出的胡构成的多元网络关系。

随便看

 

百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2025/2/5 5:54:44