命題 P ⇒ Q が成立するならば P*Q= P が成立します 言い換えると QはPであるための必要条件なので、QかつPは、Pと同値 となります
■■■P*Qが真 ⇒ Pが真 の証明■■■ 明らかに成立する ■■■Pが真 ⇒ P*Qが真 の証明■■■ 命題 P ⇒ Qより Qは真
Xが4の倍数であることを、A Xが2の倍数であることを、B とおくと A ⇒ B が成立します なので A*B = A が成立します