>>830>>831
ありがとうございます。述語論理だと思うんですが。
助かりました。