Propositional logic: Semantics