I’m Just a Bill – Redux

How does a bill become a law (from the U.S. Constitution, Article 1, section 7)? My answer to this question (putting our propositional logic tools to use) is:

(H • S • P) • {[A ∨ (~R • ~C)] ∨ (V • O)}

Given: H = The bill passed the House; S = The bill passed the Senate; P = The bill is presented to the President; A = The President approves and signs the bill; = The bill is returned by the President within ten days; = The Congress by adjournment prevent the return of the bill; V = The President vetoes the bill (i.e. he returns it with objections to congress); O = The veto is overridden (i.e. the bill is reconsidered and approved by two-thirds majority of both houses).

Truth tree decomposition is a rarely used tool, but this is one time we want to pull it out of the toolbox. Decomposing that compound proposition shows remarkably clearly the three paths that a bill can take in becoming a law.

Now, wasn’t that fun?

Leave a Reply

Your email address will not be published. Required fields are marked *