sémantický model
sémantický model, interpretace - realizace systému axiómů formalizované teorie. V s. m. dochází k udělení významu abstraktním formulím dané teorie, přičemž splňující udělení významu je mění v pravdivé výroky.
sémantický model, interpretace - realizace systému axiómů formalizované teorie. V s. m. dochází k udělení významu abstraktním formulím dané teorie, přičemž splňující udělení významu je mění v pravdivé výroky.