 “The general form of a proposition is: This is how things stand” (TLP 4.5) and every proposition is either true or false. This bi-polarity of propositions enables the composition of more complex propositions from atomic ones by using truth-functional operators (5). Wittgenstein supplies, in the Tractatus, a vivid presentation of Frege’s logic in the form of what has become known as ‘truth-tables.’ This provides the means to go back and analyze all propositions into their atomic parts, since “every statement about complexes can be analyzed into a statement about their constituent parts, and into those propositions which completely describe the complexes” (TLP 2.0201). He delves even deeper by then providing the general form of a truth-function (6). This form, \([\bar{p}, \bar{\xi}, N(\bar{\xi})]\), makes use of one formal operation \((N(\bar{\xi}))\)and one propositional variable \((\bar{p})\) to represent Wittgenstein’s claim that any proposition “is the result of successive applications” of logical operations to elementary propositions.