論理アーカイブ

  1. \( (A\to B)\to C \) について
  2. 述語論理の演繹(推論)