Esileht
Juhuslik
Lähikond
Logi sisse
Sätted
Annetused
Tiitelandmed
Lahtiütlused
Otsi
Mudel (loogika)
Keel
Jälgi
Muuda
Mudel
on
esimest järku predikaatloogikas
struktuur, mis rahuldab antud hulga kõiki
lauseid
.