What Is A Logical Definition