必要条件假言命题

指断定一个命题是另一个命题的必要条件的假言命题.其结构形式为:只有p，才q.也可用符号表示为：p⇒q.必要条件假言命题逻辑联结词常用“只有……才……”、“没有……就没有……”等表示.必要条件假言命题的真假特征是:前件p假时，后件q必定为假.:﹁p⇒﹁q的真假与其前后件真假的关系可用真值表来表示(T为真，F为假)：﹁p⇒﹁q排除了p假q真的情况，即当p假时q必定为假

肯定前件不能肯定后件，肯定后件就能肯定前件;

否定前件就能否定后件，否定后件不能否定前件。

示例:

对于“不到长城非好汉”这句话的理解是：如果没有到过长城，那么不是好汉，那么下述选项表达相同意思的是：

A.只有到过长城，才是好汉

B.只要到过长城，就是好汉

C.凡是到过长城的都是好汉

D.如果不是好汉，那么肯定没有到过长城

[答案]A

[解析]题干为充分条件假言命题，可翻译为：“不到长城 → 不是好汉”，等价于 “好汉 → 到过长城”

不到长城非好汉→只有到了长城才是好汉→是好汉的都到过长城

A.必要条件假言命题，记为好汉→到过长城

B.充分条件假言命题，记为到过长城→好汉

C.充分条件假言命题，记为到过长城→好汉

D.充分条件假言命题，记为不是好汉→没到长城

经过对题干的翻译逆否以及对选项的翻译，发现A选项与题干的逆否命题表达形式相同，所以，选择A选项。^[1]