>>301
それは普通の数理論理でも成立しませんよ?
P(x)→(P(x)∧P(y))
真→(真∧偽)
真→偽
ですからね