Diferència entre revisions de la pàgina «Llenguatge formalitzat»
De Wikisofia
m (Text de reemplaçament - "modelo" a "model") |
m (bot: - d'una [[sistema + d'un [[sistema) |
||
Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{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' | + | 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'un [[sistema formal|sistema formal]] és aquella interpretació que fa veritables tots els seus teoremes. |
{{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | {{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} |
Revisió de 17:17, 29 ago 2017
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.