集合の基礎論理と集合述語と集合論理式、真理集合

学習環境

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版)の第2章(集合の基礎)、2.5(論理と集合)、2.5.1(述語と集合)の問2.21の解答を求めてみる。

論理式。

i (x) \land d (x)

真理集合。

I_{T} \cap D_{T}