數學—必備考點1
—基本等值式&邏輯符號（4分+4分）
每年都會考，尤其是高亮的紫色部分，反過來考的機率更大，就像99乘法表一樣倒過來翻來覆去背！蘊含等值式和假言錯位必考
一、第一大題必考邏輯符號
注意：
題目中出現的參數、
有幾個參數、
參數與參數是否有關係（比如大於小於更大更小）
用存在量詞還是全稱量詞
二、證明化簡計算真題（2010）1.(3 分)計算∀xP(x) →∃yP(y) 的否定式。否定式中僅可使用{¬,∨,∧}中的聯結詞，且否定詞「¬」不能出現在量詞的前面。
（2004）1、下列等值式是否正確，如正確請證明，如錯誤請舉出反例。
(∃𝐱)(𝐏(𝐱) → 𝐐(𝐱)) = (∀𝐱)𝐏(𝐱) → (∃𝐱)𝐐(𝐱)
（2005年）四、證明(共 22 分)
1、(3 分)下列等值式是否正確，如正確請證明，如錯誤請舉出反例。（和2011年是一樣的）
（2006年）三、解答題(共 11 分)
（這種類型的題目經常考，必須掌握）
1、(3 分)設 P↑Q=「(P∧Q),試將「P，P∧Q，P∨Q 僅用聯結詞↑表示出來。
（2008年）三、解答題(本大題共3 小題，第1、2 小題每題4 分，第3 小題8 分，共16 分)
1.設P↓Q = ¬(P∨Q)，僅用聯結詞↓分別表示出¬P，P∧Q，P∨Q。
（2010年）三、計算題(共 16 分)
1.(3 分)計算∀xP(x) → ∃yP(y) 的否定式。 否定式中僅可使用{¬,∨,∧}中的聯結詞，且否定詞「¬」不能出現在量詞的前面。
（2011年）四、證明題(第1，2 小題各4 分，第3 小題8 分，共16 分)
1.下列公式是否正確?如正確請證明，如錯誤試舉出反例。（這道題也重複考過）
(∀x) (∀y) (P(x)∧P(y) →Q(x,y)) =¬ (∃x) (∃y) (P(x)∧P(y)∧¬Q(x,y))
（如果不知道主析取和主合取怎麼化簡，那就用上面的真值表.1—主析取；0—主合取）
難度高的還有很多，來不及看了.
再來背一遍公式
部分圖片來自CSDN（侵刪）
做完這些真題再複習考點2🎉判斷是否正確，先回答正確，說不定還有1⃣️分