Atoms are thus the simplest well-formed formulas of the logic.
Atomit ovat siten yksinkertaisimpia hyvin-määriteltyjä logiikan kaavoja.