Llenguatge formalitzat
De Wikisofia
La revisió el 08:40, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Llenguatge o càlcul formal que rep una interpretació. Interpretar un càlcul o un llenguatge formal és don...».)
La revisió el 08:40, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Llenguatge o càlcul formal que rep una interpretació. Interpretar un càlcul o un llenguatge formal és don...».)
Llenguatge o càlcul formal que rep una interpretació. Interpretar un càlcul o un llenguatge formal és donar significat als seus símbols. Un model d'una fórmula és aquella interpretació que la fa veritable; un model d'una sistema formal és aquella interpretació que fa veritables tots els seus teoremes.