双対
電気工学においても、数々の双対性が成り立っている。双対関係は数式中の電圧と電流を入れ替えることによって得ることができる。また、双対性が成り立つ理由の一部は電気と磁気の双対性に遡ることができる。
以下は電気工学における主な双対の例である。
電圧 — 電流
並列 — 直列(回路)
電気抵抗(レジスタンス) — コンダクタンス
インピーダンス — アドミタンス
静電容量(キャパシタンス) — インダクタンス
リアクタンス — サセプタンス
短絡 — 開放
短絡電流 — 開放電圧
直列の抵抗 — 並列のコンダクタンス
キルヒホッフの電流則 — キルヒホッフの電圧則
テブナンの定理 — ノートンの定理
命題を論理式として表したとき、論理和 ∨ と論理積 ∧ とをすべて入れ替え、全称記号 ∀ と存在記号 ∃ とをすべて入れ替えたものをもとの論理式の双対といい、入れ替えて得られた命題をもとの命題の双対命題と呼ぶ。双対の双対はもとの命題に一致する。
元の論理式が証明可能ならばその双対の否定が証明可能であり、ある論理式の否定が証明可能ならば、その論理式の双対が証明可能になる。