示例1：点数(C)∈{J}→脸(C) 示例2：点数(C2)∈{Q}→脸(C) 示例3：点数(C3)∈{K}→脸(C) 内部析取 点数(C1)∈{J,Q,K}-→脸(C) ·合取变析取 例男同学与女同学组成一个班 男同学和女同学组成一个班 ·归结归纳 PAE1→>H PAE1→H E1VE2→H 示例1:点数(C1){J}→脸(C1) 示例2:点数(C2){Q}→脸(C1) 示例3:点数(C3){K}→脸(C1) 内部析取 点数（C1）{J,Q,K}→脸(C1) • 合取变析取 例 男同学与女同学组成一个班 男同学和女同学组成一个班 • 归结归纳 PE1→H PE1→H E1E2→H