Логическое следствие — это утверждение, которое с необходимостью вытекает из данного утверждения (или совокупности утверждений). В логике это понятие описывается с помощью импликации.
Ответ: а. импликация