interpretační model
Matematika
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:
9. 12. 2025
Autor: -red-
Odkazující hesla: logické vyplývání.
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!