Mudel (loogika) From Wikipedia, the free encyclopedia Mudel on esimest järku predikaatloogikas struktuur, mis rahuldab antud hulga kõiki lauseid.