0305132人目の素数さん垢版2017/12/30(土) 15:28:51.70ID:t8/AOqf4 >>301 それは普通の数理論理でも成立しませんよ? P(x)→(P(x)∧P(y)) 真→(真∧偽) 真→偽 ですからね