Diferència entre revisions de la pàgina «Llenguatge formalitzat»
De Wikisofia
(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...».) |
m (Text de reemplaçament - "modelo" a "model") |
||
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 [[ | + | 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}} | {{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} |
Revisió del 22:00, 3 abr 2015
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.