Отношение логического следования: Определение и Примеры