「集合A,Bは互いに素」の定義とその言い換え

「集合A,Bは互いに素」の定義とその言い換え。
レイアウトが崩れるのを阻止することを狙った、ptからpxへの単位変更。

命題論理の自然演繹における定理・派生推論規則【4】二重否定律law of double negationの証明

命題論理の自然演繹における諸定理 【4】二重否定律　law of double negationの証明。派生推論規則の証明に対応。

命題論理の自然演繹における諸定理 【8】分配律の証明

命題論理の自然演繹における諸定理 【8】分配律の証明に解説を付与。

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

集合の基本概念－定義と記号。Internet Explorerでの表示不具合を解消。

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

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

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

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

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

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

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

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

i-phone対応

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

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

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