Definition. Semantics [0007]

We can define the semantic inference rules for propositional logic formulas under interpretations as follows inductively, starting with the base cases:

Moving on to the inductive case we have

Similarly, the rules for when an interpretation does not satisfy a formula are as follows: