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 (bot: - d'una [[sistema + d'un [[sistema) |
||
| (Una revisió intermèdia per un altre usuari que no es mostra) | |||
| 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'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.