Definition:Boolean Interpretation of Conditional