p が真で p → q が真であるとき, p は q を導く（ p は q を含意する）といい p ⇒ q とかく公式集 p.322 isbn:4894281635とある。公式集では微妙に使い分けているっぽい。

「小文字」の外は「大文字カードの集合」「ある命題が真ならば、対偶も真」というのはウソではないんだけど、場合によってはとっても思考をミスリードする。というわけで、のちのちの教育用の資料としてスクラップ：対偶の問題「カード」 - 以下のルールがあ…