« Clause vide » : différence entre les versions


Aucun résumé des modifications
m (Remplacement de texte : « ↵↵<small> » par «  ==Sources==  »)
 
(3 versions intermédiaires par 2 utilisateurs non affichées)
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 ==
Ligne 10 : Ligne 8 :
''' empty clause '''
''' empty clause '''


<small>
==Sources==
 


[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:GRAND LEXIQUE FRANÇAIS]]

Dernière version du 27 janvier 2024 à 20:35

Définition

Une clause qui ne contient pas de littéral.

Français

clause vide

Anglais

empty clause

Sources

Source : TermiumPlus

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


Contributeurs: Arielle Halindintwali, Imane Meziani, wiki