Логических схем для непосредственных умозаключений