Definition of Logic