Mudel (loogika)

See artikkel vajab toimetamist. Palun aita artiklit toimetada. (Kuidas ja millal see märkus eemaldada?)

Mudel on esimest järku predikaatloogikas struktuur, mis rahuldab antud hulga kõiki lauseid.