如果从命题 A 可以推导出命题 B ,就说 A 是 B 的充分条件。
如果从命题 B 可以推导出命题 C ,就说 C 是 B 的必要条件。
从上述定义可以看到:
由于从 A 可以推出 B ,从 B 可以推出 C ,所以从 A 可以推出 C ,
也就是说,从一个命题的充分条件,可以推导出這个命题的必要条件。
下面引用由luyuanhong在 2013/05/26 09:32pm 发表的内容:
如果从命题 A 可以推导出命题 B ,就说 A 是 B 的充分条件。
如果从命题 B 可以推导出命题 C ,就说 C 是 B 的必要条件。
从上述定义可以看到:
由于从 A 可以推出 B ,从 B 可以推出 C ,所以从 A 可以推出 C ,
...