Atomic propositions are the smallest set of propositions. An atomic proposition is a proposition whose truth or falsity does not depend on the truth or falsity of any other proposition.