interpretace teorie

Logika, vztah teorií, kdy zůstanou-li axiómy jisté první teorie pravdivými větami a dáme-li primitivním termínům v nich obsaženým smysl čerpající z nějaké jiné teorie druhé, pak teorie první má interpretaci v teorii druhé.

Datum vytvoření: 17. 7. 2006
Datum aktualizace: 17. 7. 2006
Autor: -red-

Reklama: