第3章_Leanにおける論理