Výrok alebo pravda, ktorá logicky vyplýva z iných výrokov. V matematike je to priamy dôsledok už dokázanej vety.