Логическое следование

Логическое следствие

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

Логическое следование

ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ - одно из фундаментальных отношений между высказываниями по форме. Для установления этого отношения необходимо предварительно выявить логическую форму высказываний. Понятие Л.с. лежит в основе всякой теории правильных рассуждений. Рассуждение считается правильным, если и только если его посылки и заключение находятся в отношении Л.с., т.е. из посылок логически следует заключение.