พจนานุกรม

{\displaystyle B\rightarrow A} は,と書かれる。 第1章でフレーゲは,命題(「判断」),全称量化子(「一般性」),条件法,否定,内容の相等性のための記号 ≡ {\displaystyle \equiv } のような基本的アイデアと表記法を定義する。 第1章§5では,フレーゲは条件法を次のように定義する。