用连接公式的线条来书写，而不是今天使用的符号（symbol）¬、∧、∀。例如，在判断B和A之间的蕴涵，也就是formula_1用来指定。在他的着作的第一章中，弗雷格确定了基本概念和标号（sign），象命题（"断定／判断"），和全称量词（"普遍性"），蕴涵（"条件性"），否定和等号formula_2；在第二章中他声明了九个形式化的命题作为公理（它们是在语义上证明了的形式化陈述）。他给出了条件的定义（第1章。§5.）:设标示（sign）第三种可能性是不能得到的，而只能是其他三种中的一个。所以如果我们