Mostra la font per a Llenguatge formalitzat

{{ConcepteWiki}}

Llenguatge o [[càlcul lògic|càlcul]] formal que rep una [[interpretació|interpretació]]. Interpretar un càlcul o un llenguatge formal és donar [[significat|significat]] als seus símbols. Un [[model|model]] d'una [[fórmula|fórmula]] és aquella interpretació que la fa veritable; un model d'una [[sistema formal|sistema formal]] és aquella interpretació que fa veritables tots els seus teoremes.
{{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}}