对偶是一种逻辑概念，常用于表示两个事物之间的相互关系。 在数学中，对偶是指在一个命题中，用“非”将其否定，并交换命题中的谓词和主词的位置。例如，“所有的A是B”对偶为“不存在非B的非A”。 在计算机科学中，对偶是指将一个问题或概念从一种形式转换为另一种形式，以便更容易理解或处理。例如，布尔代数中的对偶性质可以用来化简逻辑表达式。 在语言学中，对偶是指某些语言中的句法结构模式，其中存在一种对应关系，比如主谓对偶、主宾对偶等。
