真理集合、述語・命題関数の集合表現

集合と一項述語(1変数命題関数)とのリンクを記すノートを、

論理から集合へに衣替え。

今日は以下の二項目のみアップロード。

1. 命題関数P(x)の真理集合
2. 命題関数P(x)の集合表現