Математика и логика: Двойственная импликация и ее применение