Llenguatge formalitzat
De Wikisofia
La revisió el 17:17, 29 ago 2017 per Jaumeortola (discussió | contribucions) (bot: - d'una [[sistema + d'un [[sistema)
La revisió el 17:17, 29 ago 2017 per Jaumeortola (discussió | contribucions) (bot: - d'una [[sistema + d'un [[sistema)
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'un sistema formal és aquella interpretació que fa veritables tots els seus teoremes.