推論規則
後件肯定 Q, P→Q ⊢ P