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

与形式逻辑相反，逻辑思维则完全地集中于实际推理中的逻辑关系研究。