Off-diagonal matrix elements: a modus tollens approach

Abstract

A numerical application of the modus tollens rule of classical logic is described and is shown to permit the calculation of off-diagonal matrix elements by using a small basis set of implicit wavefunctions. The success of the calculation is discussed in terms of the most simple form of the Hohenberg–Kohn theorem.