対偶
1. 二つで組みになっているもの。対。
2. 対句。
3. 論理学で、「pならばqである」に対して、仮定および結論を否定し同時に両者を逆にした「qでなければpでない」という形の命題。原命題が真ならば、その対偶も必ず真となる。参照せよ.icon裏 参照せよ.icon逆 https://plantuml-proxy.vercel.app/svg/https://scrapbox.io/api/code/suto3/対偶/logic.pu#.svg
code:logic.pu
@startdot
digraph G {
{rank = same; a; b; }
{rank = same; c; d; }
}
@enddot