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