>>322
それも三段論法
これも三段論法
P∧(P→Q)→Q