述語を否定・論理積・論理和・含意・同値で組み合わせたものの真理集合・集合表現

論理から集合へに、下記を追加。

命題関数「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)の集合表現