Model (logika): Porovnání verzí

'''Model''' (také '''struktura''') je [[matematika|matematický]] pojem z oblasti [[matematická logika|matematickologické]] sémantiky. Je to seskupení objektů, na němž jsou definovány nějaké vztahy (relace) a přiřazení ([[funkce (matematika)|funkce]]) tak, že vytváří „realizaci“ nějaké formální [[formální teorie]].