请使用三段论基本规则和文恩图解法判定