🟢 Atomic evaluation §

= a function, which assigns a value of truth to a single propositional variable

Notation §

• $B_0$