$$\begin{array}{|c|c|c|c|c|c|} \hline p & q &\neg p & p\wedge \neg q & p\wedge q & p\wedge \neg q \rightarrow p \wedge q \\\hline \text{T} & \text{T} & \text{F} & \text{F} & \text{T} & \text{T} \\\hline \text{T} & \text{F} & \text{F} & \text{T} & \text{F} & \text{F} \\\hline \text{F} & \text{T} & \text{T} & \text{F} & \text{F} & \text{T} \\\hline \text{F} & \text{F} & \text{T} & \text{F} & \text{F} & \text{T} \\\hline \end{array}$$
So, $\phi$ is a logical consequence of the formula $\psi$ i.e., $\psi \rightarrow \phi$ is true.
Detailed Video Solution:
https://youtu.be/nclBhBmtz2g?t=5147