Mudel (loogika)

Allikas: Vikipeedia
Mine navigeerimisribale Mine otsikasti

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