2017-10-25から1日間の記事一覧
どうもドキュメントだとかフォルダとかに馴染めず結局ひとつのドキュメントに全部寄せてしまってますちがうドキュメントにあると目につかないんですよねー そこがいいという人もいると思いますが自分はときどき目につくほうがいいと思ってますDynalistでも全…
定義35 xは公理II-nから得られる"論理式"である 定義36 xは公理IIから得られる"論理式"である (define (IsSchemaII n x) (case n ((1) (∃ p ≦ x (and (IsForm p) (= x (Implies (Or p p) p))))) ((2) (∃ p q ≦ x (and (IsForm p) (IsForm q) (= x (Implies p…