合取

用連詞∧把幾個公式連接起來而構成的公式叫做合取，而此合取式的每個組成部分叫做合取項。一些合適公式所構成的任一合取也是一個合取公式。

形式為“p並且q”的複合命題，其中p和q都是命題並且叫做合取支。在命題演算中，合取式被符號化為“p•q”，“pΛq”或者“p&q”。若把它當做真值函項，“p並且q”為真當且僅當p和q中每一個都真；如果有一個合取支為假，或兩個合取支都假，則該合取式為假。我們可以從前提p和前提q推出結論“p並且q”，這叫做“合取規則”或“合取引入”。我們也可以從前提“p並且q”推出結論p或者推出結論q，這叫做“合取消除”。合取式還可以把多於兩個的陳述組合在一起，如果能夠斷定所有這些陳述的話。

在語義網路中，合取命題通過引入“與”結點來表示。事實上，這種合取關係網路就是由與結點引出的胡構成的多元網路關係。

更多圖冊