Логічне слідування. Рівносильність. Аналогія