命題論理の自然演繹における定理:結合律の証明

命題論理の自然演繹における諸定理 【7】結合律1-2の証明に、解説を付与。

命題論理の自然演繹【3】矛盾律の証明

命題論理の自然演繹における諸定理 【3】矛盾律の証明に、解説を付与。

【背理法】のもとで【二重否定除去律】は派生推論規則

【背理法】のもとで【二重否定除去律】は派生推論規則に、解説を付与。

命題論理の自然演繹：否定導入則・否定除去則

命題論理の自然演繹：￢導入則・￢除去則から、
使用例として、矛盾律の証明、二重否定律の証明、選言的三段論法　へ、
リンク。

i-phone対応

i-phone閲覧時のレイアウト崩壊を修正すべく、
フォントサイズ自動調整機能をオフにする指令をスタイルシートに追記してみた。

集合の基本概念－定義と記号

集合の基本概念－定義と記号。
すべてのサイズ指定をpx単位に変更してみた。

スマホで合成関数微分

二つの2変数関数と一つの2変数関数との合成関数の微分 に、スマホ表示設定を追加。

スマホで2変数テイラー定理

2変数関数の平均値定理・テイラーの定理に、スマホ向け表示設定コードを追記。

スマホで高次偏微分

2変数関数の高次偏微分に、スマートフォン向け表示設定コードを追加。

スマホで偏微分。

2変数関数の偏微分可能・偏微分係数に、スマートフォン向け表示設定コードを追加。