常用邏輯用語知識點?