« Clause vide » : différence entre les versions


Aucun résumé des modifications
Aucun résumé des modifications
Ligne 14 : Ligne 14 :
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Empty+clause&index=alt&codom2nd_wet=1#resultrecs  Source : TermiumPlus  ]
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Empty+clause&index=alt&codom2nd_wet=1#resultrecs  Source : TermiumPlus  ]


[[Catégorie:Révision]]
[[Catégorie:publication]]

Version du 26 avril 2021 à 09:12

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