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-