formaliser

verbe transitif Conjugaison

(de formaliser 1)

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