introduction of logic