« 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: | [[Catégorie:publication]] | ||
Version du 26 avril 2021 à 08: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
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki
