空子句是什麼

不包含任何文字的子句

空子句是指不包含任何文字的子句。由於空子句不含有任何文字，因此它不能被任何解釋所滿足，從而被視為永假的子句。在邏輯和形式語言理論中，空子句通常被記為NIL。