formalització LÒG.

En lògica i en matemàtiques, procediment amb què es construeixen sistemes formals o llenguatges formals: simbolització d’un llenguatge amb finalitat deductiva.