« Vrai dans une interprétation » : 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
 
Aucun résumé des modifications
Ligne 1 : Ligne 1 :
== Définition ==
Qui est vrai selon l'interprétation donnée d'une formule logique.


== en construction ==
Voir '''[[Faux dans une interprétation]]'''.
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle‏‎]]
[[Catégorie:UTexas‏‎]]


== Français ==
'''vrai dans une interprétation'''


== Définition ==
'''vrai sous une interprétation'''
xxxxxxx
 
== Français ==
xxxxxxx
   
   
== Anglais ==
== Anglais ==
'''true under an interpretation'''
'''true under an interpretation'''


true under an interpretation of a logical formula, evaluating to the value True for a given interpretation.
 
<small>




<small>
[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas AI vocabulary ]


[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas Ai vocabulary ]
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle‏‎]]
[[Catégorie:UTexas‏‎]]

Version du 16 décembre 2021 à 13:01

Définition

Qui est vrai selon l'interprétation donnée d'une formule logique.

Voir Faux dans une interprétation.

Français

vrai dans une interprétation

vrai sous une interprétation

Anglais

true under an interpretation



Source : Utexas AI vocabulary



Contributeurs: Jean Benoît Morel, wiki