« Clause vide » : différence entre les versions


Aucun résumé des modifications
Aucun résumé des modifications
Ligne 1 : Ligne 1 :
== Définition ==
== Définition ==
Une clause qui ne contient pas de littéral.
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 ==
== Français ==

Version du 26 avril 2021 à 09:13

Définition

Une clause qui ne contient pas de littéral.

Français

clause vide

Anglais

empty clause

Source : TermiumPlus

Récupérée de « https://datafranca.org/wiki/index.php?title=Clause_vide&oldid=51109 »


Contributeurs: Arielle Halindintwali, Imane Meziani, wiki