Semàntica formal: diferència entre les revisions
Contingut suprimit Contingut afegit
+ == Bibliografia == de https://en.wikipedia.org/wiki/Semantics_of_logic |
Robot estandarditza i catalanitza referències, catalanitza dates i fa altres canvis menors |
||
Línia 1:
La '''semàntica formal''' és l'estudi de les [[Interpretació (lògica)|interpretacions]] dels [[Llenguatge formal|llenguatges formals]].<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 metateoremas a partir d'aquesta caracterització.<ref Name=Cambridge/> Una vegada definit el que és una interpretació per a un llenguatge formal, es diu que una fórmula '' A '' és una conseqüència semàntica d'un conjunt de fórmules <math>\Gamma </math>, si i només si per a tota interpretació que fa vertaderes a les fórmules en <math>\Gamma </math>, '' A '' també és veritable.<ref name=Cambridge/>
|