Office québécois de la langue française

Le grand dictionnaire terminologique
Réduire la taille du texte Augmenter la taille du texte
Fiche terminologique

FICHE TERMINOLOGIQUE

Interrogation 
Envoyer la fiche par courriel Imprimer la fiche

calcul des propositions

Domaine

intelligence artificielle

Auteur

Logo identifiant une fiche rédigée par l’Office québécois de la langue française Office québécois de la langue française, 2009

Définition

Mécanisme de résolution de problème utilisé en logique des propositions, qui s'effectue sur des formes de raisonnement dont la validité, indépendante de la structure des propositions composantes, résulte uniquement de leurs propriétés d'être vraies ou fausses.  

Notes

De nombreux auteurs, en anglais comme en français, considèrent que les termes calcul des propositions et logique des propositions sont équivalents. Cependant, alors que les...  [+]

Termes jugés adéquats pour désigner le concept à l’intérieur d’un domaine spécialisé, conformes au système linguistique du français ou acceptables en vertu des politiques officielles de l’Office

Termes privilégiés

calcul des propositions   n. m.

calcul propositionnel   n. m.

Anglais

Auteur

Logo identifiant une fiche rédigée par l’Office québécois de la langue française Office québécois de la langue française, 2009

Termes

propositional calculus   

proposition calculus   

sentential calculus   

Catalan

Auteur

Universitat Autònoma de Barcelona, 2005

Terme

càlcul proposicional   n. m.

Espagnol

Auteurs

Consejo Superior de Investigaciones Cientificas, 2005

Colegio de México, 2005

Termes

cálculo proposicional   s. m.

cálculo de proposiciones   s. m.

Mexique

Portugais

Auteurs

Centro de Linguística da Universidade Nova de Lisboa, 2005

Universidade de São Paulo, 2005

Notes

Subárea da inteligência artificial: representação do conhecimento por meio de Lógica.  

Terme

cálculo proposicional   s. m.

Abonnez-vous!

Nos infolettres vous permettent d’avoir accès à plusieurs ressources.

Voilà! C’est fait! Nous vous remercions de votre inscription à nos infolettres.
Une erreur est survenue. Veuillez réessayer plus tard. Si le problème persiste, communiquez avec nous.

Accès à l’information - Politique de confidentialité
Québec

© Gouvernement du Québec, 2012