Entail


De DataFranca

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


Source : Utexas Ai vocabulary

Récupérée de « https://datafranca.org/wiki/Entail »

Contributeurs : Pitpitt