論理推論の定理に
∀x(A∨Px)⇔A∨∀xPx
と出てるんだが、おかしくないでしょうか？
左辺は、例えば、A、Pb、A、Pd、Pe、、、、が真だったりするわけですよね。
でも右辺は、Aが真か、Pa、Pb、Pc、、、の全てが真か、のどちらか。
全く違うことを言っているように思えるのですが？