OpenBSD ユーザーコーナー Part3

[0964 名無しさん＠お腹いっぱい。 NG NG]

>>947
P->Q から !P->!Q または Q->P は導けない。