Semàntica formal: diferència entre les revisions
Cap resum de modificació |
m Robot afegeix: el:Τυπική σημασιολογία |
||
Línia 12: | Línia 12: | ||
[[Categoria: Lògica]] |
[[Categoria: Lògica]] |
||
[[el:Τυπική σημασιολογία]] |
|||
[[en:Formal semantics]] |
[[en:Formal semantics]] |
||
[[es:Semántica formal]] |
[[es:Semántica formal]] |
Revisió del 00:56, 30 ago 2010
La semàntica formal és l'estudi de les interpretacions dels llenguatges formals. [1] Els llenguatges formals poden definir-se sense necessitat de donar cap significat a les seves expressions. [1] Una interpretació d'un llenguatge formal és bàsicament una assignació de significats als seus símbols, i de condicions de veritat a les seves fórmules ben formades. [1]
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ó. [1] 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 , si i només si per a tota interpretació que fa vertaderes a les fórmules en , A també és veritable. [1]