Summary In this work we elaborate on the idea of a formal theory for limited but important part structural chemistry, that described by Lewis’ methods and VSEPR (Valence Shell Electron Pair Repulsion). For purpose, recursive functions propositional are defined, apply to expressions structure, based finite set symbols. This approach allows expression numerous questions chemical interest. The for...