公务员逻辑推理中使用的三段论公式主要包括以下几种：

所有M都是P（MAP）：

表示所有属于M的个体都是P。

所有S都是M（SAM）：

表示所有属于S的个体都是M。

所有S都是P（SAP）：

表示所有属于S的个体都是P。

这些公式构成了三段论的基本形式，通过这些公式可以推导出不同的结论。例如，在题目“所有阔叶植物都是落叶的，所有葡萄树都是阔叶植物，所以，所有葡萄树都是落叶的”中，"阔叶植物"就是逻辑中介，连接了“葡萄树”和“落叶的”两个命题。

此外，三段论还有四个不同的格，每个格有特定的形式和规则。这些格分别是：

第一格（AAA式）：所有M是P，所有S是M，所以所有S是P。

第二格（AEE式）：没有M是P，所有S是M，所以没有S是P。

第三格（AEO和EIO式）：有些M是P，所有S是M，所以有些S是P；有些M不是P，有些S是M，所以有些S不是P。

第四格（AIA和IAI式）：有些M是P，没有M是S，所以有些P不是S；没有M是P，有些M是S，所以有些S不是P。

在实际的公务员逻辑推理题目中，考生需要根据题目给出的前提，选择合适的三段论公式进行推理，以得出正确的结论。这些公式和规则是逻辑学中常用的推理模式，在哲学、数学、计算机科学等领域都有广泛的应用。