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