definovatelnost



Logika, možnost zavedení (určení) pojmu, výrazu nebo entity do určité teorie. Z obecného sémantického hlediska je definovatelnost množiny M dána existencí takové formule, již splňují prvky množiny M. Syntakticky v teorii T je d. predikátu P (x) určena existencí takové formule, která všechny argumenty predikátu P vyjadřuje jako tvrzení teorie T.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 5. 10. 2006
Autor: -red-

Reklama: