>>348
もう少し述語論理がどういうものかを勉強したほうがいい。