Импликация в логической схеме