Formalització
De Wikisofia
La revisió el 09:43, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} En lògica i en matemàtiques, procediment amb el qual es construeixen sistemes formals o llenguatge formal|llengu...».)
La revisió el 09:43, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} En lògica i en matemàtiques, procediment amb el qual es construeixen sistemes formals o llenguatge formal|llengu...».)
En lògica i en matemàtiques, procediment amb el qual es construeixen sistemes formals o llenguatges formals: simbolització d'un llenguatge amb finalitat deductiva.