子句 (邏輯)

一句邏輯上講嘅子句（粵拼：zi2 geoi3；英文：Clause）由若干個字面同佢哋之間嘅邏輯或組成—即係例如 ${\displaystyle A\lor \neg B\lor C}$ 噉就係一句子句。