Semàntica formal: diferència entre les revisions
Contingut suprimit Contingut afegit
m estandarditzant codi |
m Format de referències |
||
Línia 1:
La '''semàntica formal''' és l'estudi de les [[Interpretació (lògica)|interpretacions]] dels [[Llenguatge formal|llenguatges formals]].<ref name=Cambridge>{{ref-llibre|capítol = formal semantics|llengua = anglès|títol = The Cambridge Dictionary of Philosophy|any = 1999|editorial = Cambridge University Press|edició = 2a edició|editor = Robert Audi}}</ref> Els llenguatges formals poden definir-se sense necessitat de donar cap significat a les seves expressions.<ref name=Cambridge/> Una interpretació d'un llenguatge formal és bàsicament una assignació de [[Significat|significats]] als seus [[Símbol|símbols]], i de condicions de veritat a les seves [[Fórmula ben formada|fórmules ben formades]].<ref name=Cambridge/>
Un objectiu important de la construcció d'una semàntica formal per a un llenguatge formal és la caracterització de la relació de [[conseqüència lògica]] en termes semàntics, i la demostració de metateoremes a partir d'aquesta caracterització.<ref
== Bibliografia ==
|