“A→B”代表了“∵B，∴A” A是B的充分條件，B是A的必要條件（B是A的基礎）
1.充分條件的假言推理有兩條推理規則： 1. 肯定前件就要肯定後件，否定後件就要否定前件。
2.否定前件不能否定後件，肯定後件不能肯定前件。 肯定前件式：如果天下雨，那麼地溼，天下雨，所以，地溼。 否定後件式：如果天下雨，那麼地溼，地沒有溼，所以，天沒下雨。 充分條件假言命題句式：“如果A那麼（就）B”、“有A就有B”、“倘若A就B”、“哪裡有A哪裡就有B”、“一旦A就B”、“（倘）若A則B”、“只要A就B” 2.必要條件的假言推理有兩條推理規則： 1. 否定前件就要否定後件，肯定後件就要肯定前件。 2.肯定前件不能肯定後件，否定後件不能否定前件。 否定前件式：只有張三年滿18歲，她才有選舉權，張三沒有年滿18歲，所以張三沒有選舉權。 肯定後件式：只有張三年滿18歲，他才有選舉權，張三有選舉權，所以，他已年滿18歲。 必要條件假言命題句式：“只有B才A”、“沒有B就沒有A”、“不B不A”“除非B不A”“除非B才A”
“A→B”代表了“∵B，∴A” A是B的充分條件，B是A的必要條件（B是A的基礎）
1.充分條件的假言推理有兩條推理規則： 1. 肯定前件就要肯定後件，否定後件就要否定前件。
2.否定前件不能否定後件，肯定後件不能肯定前件。 肯定前件式：如果天下雨，那麼地溼，天下雨，所以，地溼。 否定後件式：如果天下雨，那麼地溼，地沒有溼，所以，天沒下雨。 充分條件假言命題句式：“如果A那麼（就）B”、“有A就有B”、“倘若A就B”、“哪裡有A哪裡就有B”、“一旦A就B”、“（倘）若A則B”、“只要A就B” 2.必要條件的假言推理有兩條推理規則： 1. 否定前件就要否定後件，肯定後件就要肯定前件。 2.肯定前件不能肯定後件，否定後件不能否定前件。 否定前件式：只有張三年滿18歲，她才有選舉權，張三沒有年滿18歲，所以張三沒有選舉權。 肯定後件式：只有張三年滿18歲，他才有選舉權，張三有選舉權，所以，他已年滿18歲。 必要條件假言命題句式：“只有B才A”、“沒有B就沒有A”、“不B不A”“除非B不A”“除非B才A”