If there are n variables occurring in a formula then there are 2n distinct valuations for the formula.
It is also possible to define a deductive system (proof system) for propositional logic, as a simpler variant of the deductive systems employed for first-order logic (see Kleene 1967, Sec 1.9 for one such system).