形式逻辑又称为符号逻辑，为了从作为公理的公式中推导出定理，它发展出了自己的形式语言。
任何形式逻辑系统都包括基本的符号表达式、形式语言的初始词汇及其运算规则。这些规则规定如何形成合适的公式，以及如何确定哪些公式是其他公式的逻辑后承。因此，在形式逻辑中，推论是公式之间的关系，即当一个公式可以从另一个或多个公式推出时，该关系成立。形式逻辑使用的符号记法可能很复杂，并且其公式也不必被转换成自然语言——特定群体共同使用的语言，如英语、阿拉伯语或者日语。就形式逻辑而言，推论就是公式之间的关系。这既不是信念之间的关系，也不是陈述之间的关系。