model (logika)

Model (také struktura) je matematický pojem z oblasti matematickologické sémantiky. Je to seskupení objektu, na nemž jsou definovány nejaké vztahy (relace) a prirazení (funkce) tak, že vytvárí „realizaci“ nejaké formální teorie.