Definition of logic