For each of the following arguments, it is possible to provide a formal proof of validity by validly inferring just three statements. Writing these out, carefully and accurately, will strengthen your command of the rules of inference, a needed preparation for the construction of proofs that are more extended and more complex.

(P₁): (Z ⋅ A) ⊃ B
(P₂): B ⊃ A
(P₃): (B ⋅ A) ⊃ (A ⋅ B)
∴ (Z ⋅ A) ⊃ (A ⋅ B)