今日は休みだったので午前中に高校数学の
「数と式、命題と論理」の復習をして
ついでに数学用語の英訳も調べた