импликация и есть логическое следование:
результат будет ложным тогда и только тогда,
когда из истинного основания (А) следует ложное следствие (В).
посылка А является условием, достаточным для выполнения следствия В:
следствие В является условием, необходимым для истинности посылки А
