Definition:Semantic Consequence/Boolean Interpretations/Definition 1