>>413
直観主義でも
Q→(P→Q)
は恒真なんだけど?