Model: Rozdiel medzi revíziami

'''Model''' je určitý [[systém]] fyzikálnych alebo ideálnych objektov spĺňajúcich základné vzťahy, vlastnosti a zákony systému, ktorý je jeho prototypom (vzorom, originálom) a na lepšie poznanie ktorého sa zvyčajne vyberá či konštruuje. V [[logická sémantika|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ýrakoch 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]].