记取一句话：小范畴推大年夜范畴，则为充分非须要前提。
对P:{1,2}Q:{1,2,3}，明显P范畴小于Q范畴，所以P是Q的充分非须要前提。
对P:sina≠1/2Q:a≠5π/
6假设a的范畴是[0，2π]P的范畴是a≠π/6或许a≠5π/
6显然，P范畴小于Q范畴所以P是Q充分不须要前提。
对简单逻辑里充分须要前提断定，不克不及想固然的下决定，要细心揣摩。
还是那句话小范畴推大年夜范畴，则为充分非须要前提。
这句话实用于各种断定充分须要前提，无论是凑集({x,y,z})还是不等式(a<x)