2008-09-14から1日間の記事一覧

XML宣言がXDocument(XElement)のsaveメソッドを読んだときにしか追加されない(オブジェクト自体に追加されるわけではなく、保存されたファイルに追加される)ので、結局StringBuilderでXMLを書いています。XDocumentの方から宣言を設定もしくは取得するプ…

記号

論理包含 同値 論理積 論理和 否定 全称 存在 ゲンツェン ⊃ ⊃⊂ & ∨ ¬ ∀x ∃x ラッセル ⊃ ≡ ・ ∨ 〜 (x) (∃x) ヒルベルト → 〜 & v  ̄ (x) (Ex) ライプニッツ 不明 不明 ・ + 不明 Πx Σx