index行間

 トップページの行間を広げる。

トップページのデザイン

トップページのデザインを、はじめのほうだけプリミティブにレスポンシブ化。

目次・索引、文献情報、スマホ

すべての目次・索引、文献情報にスマホ表示設定を追記完了。アップロードも完了。

総目次のレイアウト修正

総目次のレイアウト修正。
あまりにもsmart-phoneで使いづらいから。

論理目次：基本事項・命題論理・述語論理に類別

論理の目次を更新。
論理の項目を基本事項・命題論理・述語論理に類別。

総目次からmathematical appendixesへのリンク。

総目次から、
「数学についてのwebノート」のglobal edition
　　  mathematical appendixes
へのリンク
を敷設。

命題論理の証明論・構文論：自然演繹

論理目次に、
命題論理の証明論・構文論：自然演繹
(認めらた操作,推論規則・公理一覧,定理一覧)
へのリンク追加

総目次変更：全単射・逆関数

総目次の1変数関数の項目全単射・逆関数のリンク張替え。

論理式間関係の意味論

論理目次に、
命題論理の論理式間関係の意味論下記項目へのリンク を追加。

• 論理式間関係の意味論：
• 複数の論理式の真理値割り当て/同時に充足する
• 矛盾/充足可能・整合的　　
• 推論 / 前提 / 結論・帰結 / 推論式 / 反例 / 推論の有効性/妥当性 /　⊨　(double-turnstile) 
• 論理的同値 　

論理式の定義・命題論理の意味論各項目へのリンク を目次に追加

論理目次に、
命題論理における論理式の定義下記項目・命題論理の意味論下記項目へのリンク を追加。

• 命題論理における論理式の定義：
  • 命題記号・原子式[命題変数/命題定数]/論理記号・結合子
  • 論理式 / n個の命題変数から帰納的に定義される論理式 / 論理式の形成木 / 部分論理式

• 命題論理の意味論：真理値/真理域・真理値集合/真理値割りあて/論理式の付値/真理関数/真理値表/充足・モデル/論理式の真理値の決定原理/真理値分析　

柴垣和三雄 『ルベーグ積分入門』 森北出版 (1979年)

測度論とルベーグ積分のためのビブリオグラフィー。
柴垣和三雄 『ルベーグ積分入門』 森北出版 (1979年)から、
e-hon,honya-club,twitter検索へリンク。

トートロジー31例を目次に追加。

論理目次に、
トートロジー31例へのリンクを追加。

総目次

総目次。
ナビゲーションのフォントサイズを統一。

論理目次追加：恒真命題・恒偽命題

論理目次に、
恒真命題・恒偽命題についてのノートへのリンクを追加。

Σの定義

Σの定義を、
総目次に項目として追加。

∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P ( x1, x2, x3, x4 )

論理目次に、

• 四項述語の多重量化: ∀x₁∈S₁ ∃x₂∈S₂ ∀x₃∈S₃  P ( x₁, x₂, x₃, x₄ )　

へのリンクを追加。

論理目次追加：三項述語2重量化

論理目次に、

三項述語の二重量化(範囲明示)：∀x∈S ∀y∈T P(x,y,z) /∀x,y∈S P(x,y,z)/ ∃x∈S ∀y∈T P(x,y,z) /∀x∈S ∃y∈T P(x,y,z)

へのリンクを追加。

論理目次：多重量化

論理目次に、

• 多重量化

へのリンクを追加。

論理目次：n項述語全称量化・存在量化を追加

論理目次に、

• n項述語全称量化　∀x_i P(x₁,…,x_n) 
• n項述語存在量化∃x_i P(x₁,…,x_n)
• n項述語全称量化　∀x_i∈X P(x₁,…,x_n) 
• n項述語存在量化∃x_i∈X P(x₁,…,x_n)

へのリンクを追加。

開区間(a,b)

総目次からR上の開区間(a,b)へのリンク切れを修正。