2016-03-01から1日間の記事一覧
やり方がわからない。 http://stackoverflow.com/questions/17610365/how-to-use-git-mv-from-magit http://qiita.com/skame/items/32263bd858e6703f1e4c によると、Magitにrenameはない、とな。M-x vc-rename-file てのがあるらしい。シェルから操作すると…
命題論理の範囲内で、 古典論理 モノイド閉圏 真偽値 圏の対象 T, ⊥ I ∧, ∨ × ¬ ¬ ⊃ , ≦ 圏の射 ブール束 圏 モノイド閉圏そのものの議論は、ブール束の議論に対応する。ブール束だけだと、構文論は出てこないから、証明可能性(|-)とかモデルに対する妥当…
演繹定理 A |- B ⇔ |- A⊃B 演繹定理、少し一般化 A, B |- C ⇔ A |- B⊃C モーダスポネンス A, A⊃B |- B 連言の原理 A |- B かつ C |- D ⇒ A, C |- B∧D 否定を含むもの。 二重否定(古典) ¬¬A = A 待遇の原理の半分 |- A⊃B ⇒ |- ¬B⊃¬A 含意の言い換え(古典)…