interpretační model

Logika, tj. oblast významů výchozích výrazů kalkulu, které dosazeny na místa příslušných výrazů činí smysluplnými všechny správně utvořené formule daného kalkulu. Interpretací v tomto smyslu se rozumí připisování významů výchozím výrazům, čímž se stávají smysluplnými všechny výrazy kalkulu.

Vytvořeno: 14. 3. 2000
Aktualizováno: 22. 8. 2006
Autor: -red-

Odkazující hesla: logické vyplývání.