>>298
たとえばAが真のとき
(A∨Pa)も(A∨Pb)も(A∨Pc)も全て真
A∨(Pa∧Pb∧Pc)も()の中身が何であろうと全て真

Aが偽のとき
(A∨Pa)の真偽はPaの真偽に等しく
(A∨Pb)の真偽はPbの真偽に等しく
(A∨Pc)の真偽はPcの真偽に等しい
したがって、
(A∨Pa)∧(A∨Pb)∧(A∨Pc)の真偽は (Pa∧Pb∧Pc)の真偽に等しい
一方A∨∀xPxはAが偽ならば ∀xPxの真偽に等しい。

したがって両辺の真偽はいつも一致している。