充分条件假言命题是陈述某一事物或情况是另一件事物或情况的充分条件的假言命题。“如果……那么……”是充分条件假言命题的联结词：“如果”后面的支命题称为前件，“那么”后面的支命题称为后件，用p表示前件，用q表示后件，充分条件假言命题的的命题形式可表示为：
如果p，那么q 记为：p→q
而与“如果，那么”一样可以表示为p→q形式的关联词还有“只要p，就q”、“若p，则q”、“为了p，一定q”、“为了p，必须q”、“凡事p，都是q”等。
【例题】
例：为了胎儿的健康，孕妇一定要保持身体健康。为了保持身体健康，她必须摄取足量的钙质，同时，为了摄取到足量的钙质，她必须喝牛奶。据此可知( )。
A、如果孕妇不喝牛奶，胎儿就会发育不好
B、摄取了足量的钙质，孕妇就会身体健康
C、孕妇喝牛奶，她就会身体健康
D、孕妇喝牛奶，胎儿就会发育良好
【答案】A
【解析】题设所有句式均为“为了p，一定q”和“为了p，必须q”的形式，因此可以记为p→q，那么题干可以简化为：
胎儿健康 → 孕妇健康 → 足量的钙 → 喝牛奶
根据等价定理可知，题干等价于：
不喝牛奶 → 没有足量的钙 → 孕妇不健康 → 胎儿不健康
接下来看选项，选项A可记为不喝牛奶 → 胎儿不健康的形式，与题干的等价定理表达一致，所以，选择A选项。
我们再结合上述例题整理一下行测考试中形式逻辑推理题型的的特点及解题思路。
行测考试中的形式逻辑题可以简之为翻译推理型题目，这种题型最大的特点就是联结词特别多，如我们上述所说的表示充分条件假言命题的“如果……那么……”，“只要……就……”以及表达形式与之相同的“为了……一定……”等，对于翻译推理的解题思路分为以下三步：
第一步、翻译题干
第二步、逆否题干
第三步、翻译选项
提示大家，在选择答案的时候，只有与题干或题干的逆否命题表达形式一致的选项才是正确的，只要不一致即为错误选项。
