Defining implication relation for classical logic