最佳答案
記取一句話：小範疇推大年夜範疇，則為充分非須要前提。
對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)