命題関数の真理集合・命題関数の集合表現：目次追加

総目次に、論理から集合への下記項目を追加。

• 命題関数P(x)の真理集合/命題関数P(x)の集合表現
• ￢P(x)の真理集合/P(x)∧Q(x)の真理集合/P(x)∨Q(x)の真理集合/P(x)⇒Q(x)の真理集合/P(x)⇔Q(x)の真理集合
• ￢P(x)の集合表現/P(x)∧Q(x)の集合表現/P(x)∨Q(x)の集合表現

「互いに素」の述語論理による表現

集合の基本概念－定義と記号の互いに素の説明に、「互いに素」の述語論理による表現へのリンクを設置。