Question

NEXT

情報数学の問題です
誰か解説お願いします

P(z) → Q(r) が恒真とは限らないとき、集合
{|P(x) → Q(x)}
をA, B を用いて表せ、 ただし A={x|P(x) }, B ={x|Q(z) }とする。

論理と集合