副監督官の述語論理