P\Rightarrow(P\land Q)