Model (logická sémantika)

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

Model v logickej sémantike sa definuje model takto: Máme danú určitú triedu výrokov nejakého kalkulu. Ak nahradíme všetky konštanty v týchto výrokoch premennými zodpovedajúcich typov, dostaneme triedu propozicionálnych funkcií. Akákoľvek množina predmetov, ktorá bude spĺňať každú propozicionálnu funkciu z tejto triedy, nazýva sa modelom danej triedy výrokov a príslušného kalkulu. Pomocou pojmu modelu kalkulu sa zavádza pojem interpretácie.

Externé odkazy[upraviť | upraviť kód]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.

Model súčasne preložené do niekoľkých jazykov