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.
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