Почему в логическом анализе важны принципы двойственности?

Принципы двойственности важны в логическом анализе, в частности в исчислении высказываний и предикатов, потому что позволяют переходить к эквивалентным утверждениям. 25

Согласно принципу двойственности, каждому верному утверждению в определённом разделе математики соответствует двойственное утверждение, которое можно получить из первого путём замены входящих в него понятий на другие, двойственные им понятия. 2

Например, в проективной геометрии двойственными понятиями являются «точка» и «прямая», «точка лежит на прямой» и «прямая проходит через точку». 2