Dôsledokvýrok, ktorý logicky vyplýva z iných výrokov / From Wikipedia, the free encyclopedia Dôsledok je výrok, ktorý logicky vyplýva z iných výrokov.