  Logical atomism exploits the familiar rules, enshrined in the truth-tables, for evaluating complex formulas on the basis of their simpler constituents. These rules can be understood in two different ways: (a) as tracing the ontological relations between complex facts and constituent simpler facts, or (b) as tracing logico-semantic relations, exhibiting how the truth-values of complex sentences can be explained in terms of their logical relations to simpler constituent sentences together with the correspondence and non-correspondence of simple, elementary sentences to atomic facts. Logical atomism takes option (b).