ヒント

次のような述語を用いて、上の問題をMG節集合で表現してみよ。

• SPM_quotshaved(A,B)": AがBの鬚を剃った
• SPM_quotmember(A)": Aはこの床屋倶楽部の会員である

※ ``すべての会員''云々をどう表現したらよいか？