Formulas from a Given Truth Table

Abstract

In the Tractatus, Ludwig Wittgenstein presents a theory of logic and its nature in aphorisms 4, 5, and 6. Especially from 4.31 to 5.101, truth tables, tautology, contradiction, the number of truth possibilities given n elementary propositions, truth functions, etc., are presented. The idea of this article is to expose these concepts from a mathematical point of view, with particular attention to the result that tells us that given a truth table, a corresponding formula can be constructed.