Accueil > Dictionnaire > Définitions du mot « prénexe »
Prénexe
Sommaire
Définitions de « prénexe »
Définition - La langue française
Le terme « prénexe » est utilisé en logique des prédicats pour décrire une structure particulière de formules. Une formule est dite prénexe lorsqu'elle respecte la forme normale suivante : Qx1 ... Qxn B.
Dans cette expression, "Q" représente un quantificateur universel (∀) ou existentiel (∃), et "B" est une formule sans quantificateurs, appelée matrice. Les variables x1, ..., x n sont les arguments liés aux quantificateurs.
La forme prénexe permet de simplifier l'analyse et le traitement des formules logiques en regroupant tous les quantificateurs au début de celles-ci. Cette normalisation facilite notamment la manipulation des formules dans les preuves et les déductions logiques.
Phonétique du mot « prénexe »
| Mot | Phonétique (Alphabet Phonétique International) | Prononciation |
|---|---|---|
| prénexe | prenœks |
Évolution historique de l’usage du mot « prénexe »
Source : Google Books Ngram Viewer, application linguistique permettant d’observer l’évolution au fil du temps du nombre d'occurrences d’un ou de plusieurs mots dans les textes publiés.
Citations contenant le mot « prénexe »
-
Il est fascinant d'observer comment les mathématiciens ont réussi à développer une méthode aussi élégante que la forme prénexe en logique des prédicats, permettant de traiter des problèmes complexes avec une simplicité déconcertante.
Jean-Baptiste Durand — Citation fictive générée à l'aide d'intelligence artificielle
Traductions du mot « prénexe »
| Langue | Traduction |
|---|---|
| Anglais | annex |
| Espagnol | anexo |
| Italien | annesso |
| Allemand | annektieren |
| Chinois | 附件 |
| Arabe | المرفق |
| Portugais | anexo |
| Russe | приложение |
| Japonais | 別館 |
| Basque | eranskina |
| Corse | annessu |
Combien de points fait le mot prénexe au Scrabble ?
Nombre de points du mot prénexe au scrabble : 16 points