逆・裏・対偶 - suto3の大福帳

逆・裏・対偶

逆（converse）

裏（inverse）

対偶（contraposition）

命題（proposition）

villagepump - /villagepump/逆・裏・対偶

ikiwiki - /ikiwiki/逆・裏・対偶

https://plantuml-proxy.vercel.app/svg/https://scrapbox.io/api/code/suto3/逆・裏・対偶/logic.pu#.svg

code:logic.pu

@startdot

digraph G {

node fontsize = 12, shape = box, style=rounded ;

a label="pならばqである"

b label="qならばpである"

c label="pでないならばqでない"

d label="qでないならばpでない"

a -> b label = "逆" dir = "both";

a -> c label = "裏" dir = "both";

a -> d label = "対偶" dir = "both";

c -> d label = "逆" dir = "both";

b -> d label = "裏" dir = "both";

b -> c dir = "both";

{rank = same; a; b; }

{rank = same; c; d; }

}

@enddot