Metadata
Author: WikiMatrix
Data
English[en]
In logic, functions or relations A and B are considered dual if A(¬x) = ¬B(x), where ¬ is logical negation.
Spanish[es]
En lógica, las funciones o relaciones A y B se consideran duales si A(¬x) = ¬B(x), donde el símbolo ¬ indica la negación lógica.