Defining implication relation for classical logic | Read Paper on Bytez