定义 若 $p \Rightarrow q$ 成立，则 $p$ 是 $q$ 的充分条件，$q$ 是 $p$ 的必要条件。
从哪来 本节为逻辑起点，无前置知识点，直接基于命题与推理的基本概念构建。
为什么 充分性源于“足够”：拥有 $p$ 就足以保证 $q$ 发生，故 $p$ 充分；必要性源于“必须”：若 $q$ 发生，则 $p$ 必须存在（否则 $q$ 无法由 $p$ 推导），故 $q$ 必要。二者是同一蕴含关系 $p \Rightarrow q$ 的两面。
生活类比法
适合
形象思维强、抽象逻辑较弱的学生。
用“下雨”推“地湿”：下雨（$p$）是地湿（$q$）的充分条件（下雨必湿）；地湿（$q$）是下雨（$p$）的必要条件（若没下雨，地可能湿也可能不湿，但若要证明“因为下雨所以地湿”，下雨是地湿的充分理由，而地湿是下雨结果中必须出现的现象——此处需修正逻辑：更准确的类比是“有电”推“灯亮”。有电是灯亮的充分条件；灯亮是有电的必要条件吗？不，灯亮不是有电的必要条件（有电灯不一定亮）。
*修正类比*：用“被4整除”推“是偶数”。被4整除（$p$）是偶数（$q$）的充分条件；偶数（$q$）是被4整除（$p$）的必要条件（若一个数不是偶数，它绝不可能被4整除）。
集合包含法
适合
空间感好、擅长集合运算的学生。
设 $p$ 对应集合 $A$，$q$ 对应集合 $B$。若 $A \subseteq B$，则 $p \Rightarrow q$。此时 $p$ 是 $q$ 的充分条件（小范围推大范围），$q$ 是 $p$ 的必要条件（大范围包含小范围）。口诀：“小推大，充分；大推小，必要”。
逆否等价法
适合
逻辑严密、擅长代数推导的学生。
强调 $p \Rightarrow q$ 等价于 $\neg q \Rightarrow \neg p$。判断 $p$ 是否为 $q$ 的充分条件，即判断 $p \Rightarrow q$ 是否恒真；判断 $q$ 是否为 $p$ 的必要条件，即判断 $\neg q \Rightarrow \neg p$ 是否恒真。通过反证法思维，若找到 $p$ 真而 $q$ 假的反例，则 $p$ 非充分；若找到 $q$ 真而 $p$ 假的反例，则 $q$ 非必要。