Accions

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 [[modelo|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.
+
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.