What Is Inference In Logic