こういう問題で盛り上がっていると,論理学って単なる計算問題と思われそうで寂しい.