Definition:Falsifiable (Boolean Interpretations)