Model (logická sémantika): Rozdiel medzi revíziami

'''Model''' v logickej sémantike sa definuje model takto: Máme danú určitú triedu [[výrok]]ov nejakého [[kalkul]]u. Ak nahradíme všetky konštanty v týchto výrakochvýrokoch premennými zodpovedajúcich typov, dostaneme triedu [[propozicionálna funkcia|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ácia|interpretácie]].