Mudel (loogika): erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
Uus lehekülg: ''''Mudel''' on esimest järku predikaatloogikas struktuur, mis rahuldab antud hulga kõiki lauseid.' |
P HC: lisatud Kategooria:Loogika |
||
1. rida:
'''Mudel''' on [[esimest järku predikaatloogika]]s struktuur, mis rahuldab antud hulga kõiki [[lause (predikaatloogika)|lause]]id.
[[Kategooria:Loogika]]
| |||