Mudel (loogika)
Ilme
![]() | See artikkel vajab toimetamist. |
Mudel on esimest järku predikaatloogikas struktuur, mis rahuldab antud hulga kõiki lauseid.
![]() | See artikkel vajab toimetamist. Palun aita artiklit toimetada. (Kuidas ja millal see märkus eemaldada?) |
Mudel on esimest järku predikaatloogikas struktuur, mis rahuldab antud hulga kõiki lauseid.