« Implication logique » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xx... ») Balise : Éditeur de wikicode 2017 |
(Aucune différence)
|
Version du 15 septembre 2019 à 10:07
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
entail
a formula f entails a formula g, written f ⊨ g, iff in any interpretation in which f is true, g is true
Contributeurs: Jean Benoît Morel, wiki