集合 D = {j96050,j96048,j96004,j96002,j96007}
は、{X | X は情報工学3年生}
である。集合 E = D \/ { X | X は自分のアカウント} を要素をすべて
表示する方法で表せ。
F = {X | Xは女性の人のアカウント} としよう。G = F /\ E を求めよ。
H = (~ F) /\ E を求めよ。
例題に使った関数fの定義域をEとする関数f'に拡張しよう。f' 及び、f'g を集合を
使って表せ。(f,g の定義はプリントに載っている)
j(X) を、Xが女の人のアカウントであった時に真となる述語とする。
h(X) を、X は情報工学3年生のアカウントであった時に真となる述
語とする。 集合H ( H = (~ F) /\ E ) を j(X), h(X) さらに、X=
アカウントなどを含む論理式を使って表現することができる。その
論理式を示せ。