命题公式(P ⋀(P→Q))→Q是______。