習(xí)題課，考點,充分條件，必要條件，充要條件，全稱量詞，存在量詞，否定。