論理を教える科目
Where logic is taught
CK-12 Geometry は論理（2.4 Reasoning Types〜2.12）を証明（2.15〜）の前に置く。truth table・law of detachment・contrapositive の名前を覚えておく。
日本
数学I の「数と式」で命題の真偽を集合（数直線）を使って調べ、必要条件・十分条件・対偶を扱い、対偶を利用した証明・背理法による証明も取り上げる（高等学校学習指導要領解説 数学I）。
米国
CK-12 Geometry は Geometry の中で conditional statement・biconditional・truth table・law of detachment と、命題の converse・inverse・contrapositive（2.12）を名前で教える。対偶を使った証明の名前 proof by contrapositive は OpenStax・CED・IM・CK-12 に出てこない（Levin には出てくる）。