Mudel (loogika)

Lisa lingid
Allikas: Vikipeedia

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=5190247"