Given : {X → W, X → Y, Y → Z, Z → PQ}
Implied FD set = {X → Z, X → WY, X → WZ, X → YQ, Y → P}
X -> Y and Y -> Z implies X-> Z. Hence this is valid.
X -> W and X -> Y implies X -> WY. Hence this is valid.
X ->W ; X ->Y and X -> Z implies X ->WZ . Hence this is valid.
Closure of X in original FD : {XWYZPQ} Hence X -> YQ is valid.
Closure of Y in original FD : {YZPQ} Hence Y->P is valid.
Therefore there no invalid FDs in implied FD set.