- 1. Poser explicitement dans une théorie déductive les règles de formation des propositions et les règles de déduction suivant lesquelles on raisonne.
- 2. Réduire une théorie à un système formel.
Expressions avec formaliser
être formalisé
verbe passif
-
Langage formalisé,
ensemble (généralement infini) d'assemblages de symboles appelés expressions, qui sont construits à partir d'un alphabet en vertu de règles de formation qui sont explicitées (par opposition à langage naturel).
Mots proches
À DÉCOUVRIR DANS L'ENCYCLOPÉDIE
- Belgique.
- Carthage.
- cerf. [FAUNE]
- Ésope. [LITTÉRATURE]
- hernie de la paroi abdominale. [MÉDECINE]
- Internationale (IIIe).
- locomoteur (appareil). [MÉDECINE]
- manchot. [FAUNE]
- mythologie grecque.
- Pologne.
- Première Guerre mondiale.
- République (Ve).
- République (Ire).
- révolution russe de 1905.
- Sahara (le).
- sionisme.
Lequel de ces verbes ne peut pas s'écrire avec un double « l » à la troisième personne du singulier du présent de l'indicatif ?