我们知道， 逻辑学当中包含3 种假言命题。 充分条件假言命题， 必要条件假言命题， 和 充分必要条件假言命题。 这 3 种假言命题 具有如下等性质。 了解性质之前。我们需要对其作出基础理论的判断。 先说充分条件假言命题， 其表达形式：“只要........就..........”，“如果........那么.........”诸如此类的表达方式。 举例 只要 A 就 B 或者 如果 A 那么 B 这样一个充分条件的假言命题，是有 2个事件组成的。A 和 B 其表达构成逻辑整体（错误的＋正确的） 就是有 4 种情况， A 成立＋B 成立， A 不成立＋B 成立，A 成立＋B 不成立，A 不成立＋B 不成立。 我们发现在充分命题的表达方式中，这四种形式只有一个不满足， 如果 A 则 B， 不满足的情况是 如果 A 则非 B。 即 A 成立 B 不成立。 其它三种情况都是符合这个充分假言命题的。 如果满足这 3 种情况当中的任意一种，那么这个假言命题就是为真的。 从而我们推断出， 这个假言命题的 假命题就是 A 成立 B 不成立。 注意：这里不能用假言命题形式表达。因为这是 4 种情况中剩下的唯一一种情况，是陈述性的。 因此得出结论：充分假言命题的假命题 是肯定前件，否定后件组成的陈述性命题。且当此充分假言命题为真的时候，自然假命题不成立，当充分假言命题为假的时候，其假命题是成立的，也就是为真了。 这就是逆向思维的角度来确定。 同理，我们看必要条件假言命题，其表达形式：“只有.......才.........” 举例 只有 A 才能 B。 这样一个必要条件的假言命题。我们来看待 A 和 B 的组合。 A 成立 B 成立， A 不成立 B 成立，A 成立 B 不成立，A 不成立 B 不成立。 这 4 种情况构成了一个整体逻辑。 我们发现。在必要条件假言命题中，这四种情况只有一种不满足， A 不成立 B成立。 只有 A 才能 B，显然 B 的成立是基于 A 的基础上的。 A 成立了 才能有 B 成立的可能。 因此 A 不成立 B 成立 是其必要条件假言命题的假命题。 因此得出结论：必要条件假言命题 的假命题是 否定前件，肯定后件的陈述性命题。且当此必要条件假言命题为真，则自然其假命题不成立。如果当必要条件为假。那么其假命题必然为真。假命题所陈述的情况就成立了！ 最后请大家记住： 假言命题＋ 其假命题 构成了一个完整的逻辑整体！ 非此即彼的概念！ 充分条件假言命题 ： 如果A...
