Vrai dans une interprétation
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
true under an interpretation
true under an interpretation of a logical formula, evaluating to the value True for a given interpretation.
Contributeurs: Jean Benoît Morel, wiki