Title: Symbolic Logic and the Binomial Expansion