Teooria (täpsustus): erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
Resümee puudub |
PResümee puudub |
||
5. rida:
*'''[[Teooria (loogika)|Teooria]]''' ehk '''formaalne teooria''' on [[loogika]]s mingi [[keel (loogika)|keel]]e [[valem (loogika)|valem]]ite mingi [[hulk]].
*'''Mingi [[mudeli teooria]]''' mingi [[interpretatsioon (loogika)|on teatud [[keel (loogika)|keel]]e kõigi nende [[valem (loogika)|valem]]ite [[hulk]], mis väljendavad [[tõesus|tõeseid]] [[väide|väiteid]] selles [[mudel (loogika)|mudeliks]] olevas [[algebraline süsteem|algebralises süsteemis]].
*'''Teooria''' ehk '''formaalne teooria''' ehk '''[[formaalne süsteem]]''' ehk '''deduktiivne süsteem''' on mingi [[arvutus (loogika)|arvutus]]e [[valem (loogika)|valem]]ite mingi [[hulk]], mille valemitest saab [[tuletamine (loogika)|tuletada]] ainult selle hulga valemeid.
| |||