困るというか、証明問題から始まって逆・裏・対偶・必要条件・十分条件といった数学系論理語が通じるようになった方が俺にとっては生きやすくなるな