odvoditelnost
Logika, vztah umožňující odvodit v dané axiomatické soustavě formuli, v sémantice logické vyplývání. Formule F je odvoditelná v dané axiomatické soustavě, existuje-li taková posloupnost premis, z nichž každá je buď axióm, anebo ji lze obdržet aplikací pravidel odvozování platných v dané soustavě na předchozí formule posloupnosti, přičemž formule F stojí v této posloupnosti jako poslední.
Vytvořeno:
14. 3. 2000
Aktualizováno:
25. 10. 2006
Autor: -red-