Clause vide

Définition

Une clause qui ne contient pas de littéral.

Quand on obtient une contradiction dans un système de clauses (...) on dit (...) qu'on a obtenu la clause vide.

Français

clause vide

Anglais

empty clause

Source : TermiumPlus