形式逻辑推理是对逻辑思维的一种抽象表示，主要基于语言结构和概念形成，它包括直言命题和推理两大类。

直言命题中，全称肯定命题的公式是“所有S都是P”，全称否定命题的公式是“所有S都不是P”，特称肯定命题的公式是“有些S是P”，特称否定命题的公式是“有些S不是P”，单称肯定命题的公式是“某个S是P”，单称否定命题的公式是“某个S不是P”。这些公式在推理过程中起着关键的作用，帮助人们有条理地进行思考和论证。