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.

Pärit leheküljelt "https://et.wikipedia.org/w/index.php?title=Mudel_(loogika)&oldid=6649093"