在邏輯中,子句是文字的析取,在命題邏輯中,子句通常寫做如下,這裡的符號
是文字:
![{\displaystyle l_{1}\vee \cdots \vee l_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa60e19e60a96dd704c1d3751cc4b88d129df5be)
在某些情況下,子句被寫為文字的集合,所以上述子句將被寫為
。從上下文中得到提示把這個集合解釋為它的元素的析取。子句可以為空;在這種情況下,它是文字的空集。空字句被指示為各種符號比如
、
或
。空字句的真值求值總是
。
在一階邏輯中,子句是對文字的無量詞析取的所有自由變量的全稱量化。形式上說,一階文字是
種類的公式,這裡的
是
元謂詞而每個
都是可能包含變量的一個任意的項。如果
是文字,而
是它們的(自由)變量,則
是子句。一階子句有時省略量詞書寫,所以上述子句將被寫為
。這種省略由文字的析取作為一個子句必須使所有變量被全稱量化的事實來證實。在子句是有效的或被查實有效性的情況下,這個全稱量化也暗含了這個語義。但是,滿足性定義假定了自由變量要被存在量化,所以這種量詞省略被接受為約定而不是如何處理自由變量的語義的結論。
在邏輯編程中,子句通常被寫為從體部到頭部的蘊涵。在最簡單的情況下,體部是文字的合取而頭部是一個單一的文字。更一般的,頭部必須是文字的析取。如果
是在子句體中的文字而
是子句頭中的文字,則子句通常寫為:
![{\displaystyle h_{1},\ldots ,h_{n}:-b_{1},\ldots ,b_{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3970de09eb12ba00cc221cc3396a6368a21853b)
參見