Question from the Database - Fundamentals test

if X $\rightarrow$ Y and Y $\rightarrow$ Z then X $\rightarrow$ Z

if X $\rightarrow$ Y and X $\rightarrow$ Z then X $\rightarrow$ Y,Z

X $\rightarrow$ Y implies X,Z $\rightarrow$ Y,Z

if X $\rightarrow$ Y and W,Y $\rightarrow$ Z then W,X $\rightarrow$ Z