ЛОГИ́ЧЕСКОЕ СЛЕ́ДСТВИЕ

ЛОГИ́ЧЕСКОЕ СЛЕ́ДСТВИЕ, су­ж­де­ние (пред­ло­же­ние, вы­ска­зы­ва­ние, фор­му­ла), ло­ги­че­ски вы­те­каю­щее (или, ина­че, ло­ги­че­ски сле­дую­щее) из по­сы­лок умо­за­клю­че­ния (или из по­сы­лок вы­во­да, со­стоя­ще­го из ря­да умо­зак­лю­че­ний), т. е. вы­во­ди­мое из по­сы­лок на ос­но­ве пра­вил и за­ко­нов ло­ги­ки.