充分條件假言命題是陳述某一事物或情況是另一件事物或情況的充分條件的假言命題。“如果……那么……”是充分條件假言命題的聯結詞：“如果”后面的支命題稱為前件，“那么”后面的支命題稱為后件，用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選項。
我們再結合上述例題整理一下行測考試中形式邏輯推理題型的的特點及解題思路。
行測考試中的形式邏輯題可以簡之為翻譯推理型題目，這種題型最大的特點就是聯結詞特別多，如我們上述所說的表示充分條件假言命題的“如果……那么……”，“只要……就……”以及表達形式與之相同的“為了……一定……”等，對于翻譯推理的解題思路分為以下三步：
第一步、翻譯題干
第二步、逆否題干
第三步、翻譯選項
提示大家，在選擇答案的時候，只有與題干或題干的逆否命題表達形式一致的選項才是正確的，只要不一致即為錯誤選項。
