A new routine is proposed to relate loop quantum cosmology (LQC) to loop quantum gravity (LQG) from the perspective of effective dynamics. We derive the big-bang singularity resolution and big bounce from the first principle of full canonical LQG. Our results are obtained in the framework of the reduced phase space quantization of LQG. As a key step in our work, we derive with coherent states a new discrete path integral formula of the transition amplitude generated by the physical Hamiltonian. The semiclassical approximation of the path integral formula gives an interesting set of effective equations of motion (EOMs) for full LQG. When solving the EOMs with homogeneous and isotropic ansatz, we reproduce the LQC effective dynamics in the μ0-scheme. The solution replaces the big-bang singularity by a big bounce. In the end, we comment on the possible relation between the μ¯-scheme of effective dynamics and the continuum limit of the path integral formula.