🟢 Atomic evaluation § = a function, which assigns a value of truth to a single propositional variable Notation § B0