公务员考试逻辑模块公式主要包括以下几类：
矛盾关系
矛盾关系必有一真一假。例如，对于命题“所有的S都是P”和“所有的S都不是P”，两者不能同时为真，也不能同时为假，必然是一真一假。
包容关系
包容关系包括“所有...都...”和“有的...是...”。例如，如果“所有的S都是P”，那么“S是P”必然为真，即使“S不是P”为假。
反对关系
反对关系涉及两个“有的”命题，必有一真。例如，命题“有些A是B”和“有些A不是B”中，至少有一个为真。
翻译推理
翻译推理包括将自然语言表述转化为逻辑表达式。例如，将“所有的S都是P”转化为逻辑表达式“S￫P”。
三段论
三段论是一种逻辑推理方法，包括前提、推理和结论三个部分。例如，如果“所有的S都是P”且“所有的P都是Q”，则可以推出“所有的S都是Q”。
逆否等价推理
逆否等价推理是指，如果一个命题为真，那么它的逆否命题也为真。例如，如果“如果P，那么Q”为真，那么“如果非Q，那么非P”也为真。
否定关系
否定关系涉及对命题的否定。例如，命题“并非所有的A都是B”等价于“有的A不是B”。
等价关系
等价关系是指两个命题在逻辑上具有相同的真假性。例如，命题“所有的A都不是B”和“所有的B都不是A”在逻辑上是等价的。
这些公式和推理规则可以帮助考生更好地理解和应用逻辑推理技巧，提高公务员考试中逻辑判断题的答题效率和准确性。建议考生在备考过程中多做练习题，熟练掌握这些公式和推理方法。