What Is A Dual Statement In Mathematical Logic