  The decisive-set and pivotal-voter approaches have been used to prove Arrow's
impossibility theorem. This study presents a proof using a proof calculus in
logic. A valid deductive inference between the premises, the axioms and
conditions of the theorem, and the conclusion, dictatorship, guarantees that
every profile of all possible social welfare functions is examined, thereby
establishing the theorem.
