What Is Dual In Logic