Mudel (loogika)

Allikas: Vikipeedia
Jump to navigation Jump to search

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