wat is de definitie van logica