ゴットロープ・フレーゲ
Many of these logical constants are sometimes denoted by alternate symbols ("e.g.", the use of the symbol "&amp;" rather than "∧" to denote the logical and). Defining logical constants is a major part of the work of Gottlob Frege and Bertrand Russell.