>>436

もしかして>>411の安価先見てなかったんですか？

>>424

∀x{　((p(x)∧q(x))→r(x))　→　((p(x)→r(x))∨(q(x)→r(x)))　}


(∀x{　p(x)∧q(x)→r(x)　})　
→
(∀x{　p(x)→r(x)　}　∨　∀x{　q(x)→r(x)　})

この表記がおかしいってことですか？
どこがおかしいんですか？
xの範囲は決める必要ないですよね？