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

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

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

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

i-phone対応

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

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

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

スマホで合成関数微分

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

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

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

スマホで高次偏微分

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

スマホで偏微分。

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

スマホで2変数極値問題

2変数関数の極値定義・極大極小の判定条件についてのノートに、
スマホ向け表示設定を追記。

⇒導入則・⇒除去則の使用例

⇒導入則・⇒除去則。
⇒導入則の使用例として、二重否定律の証明にリンク。
⇒除去則の使用例として、対偶律の証明、推移律の証明にリンク。