Definition:Semantic Consequence (Boolean Interpretations)