M一一一对“角”。 对于非明显给出对象的命题，要注意其对象的确定性。 ·逻辑联词及命题演算规则 Note: (1)等价式或逻辑等价是不一样的 ·等价式，是从已知p、q构成一个新语句：pq,读作p当且仅当q 等价式的构成，是要排除它们之中的一个是真的另一个是假的可能值。因此， 说“p一q”就是指若p、q都是真的或都是假的，则这个等价式(p一q) 是真的，否则是假的，其真值表： 0 0 ·逻辑等价，是两个语句间的关系p三q,它本身不是语句。如： p→g=PVq=PAg它们是逻辑等价（其真值表完全相同）。 如果A、B逻辑等价，则记作A=B。 (2)蕴涵式(p→q),也叫充分条件假言命题与逻辑蕴涵也不是一回事 (3)逻辑联词一、八、V、→、←一的结合力依次减弱。 例如：(pvq)→r可以写作pvq→r (4)恒真命题与恒假命题（特别地，语句常项“1”可看作一个恒真命题， 语句常项“0”可看作一个恒假命题) 若A≡B(逻辑等价-同真同假)，则命题AB≡1。 (5)命题演算中常用的等价式(12个) (6)如何合并命题(P.211) (7)逆否命题的制作举例(P212) (8)同一性命题((ityropsin)与分断式命题(6 emtn)) (9)关于逆命题、偏逆命题的真假（十三院校P,137)(真假需证明） 二、数学命题的四种形式 M—— 一对“角”。 对于非明显给出对象的命题，要注意其对象的确定性。 • 逻辑联词及命题演算规则 Note： （1）等价式或逻辑等价是不一样的 • 等价式，是从已知 p、q 构成一个新语句：p  q，读作 p 当且仅当 q。 等价式的构成，是要排除它们之中的一个是真的另一个是假的可能值。因此， 说“p q”就是指若 p、q 都是真的或都是假的，则这个等价式（p q） 是真的，否则是假的，其真值表： p q p q 1 1 0 0 1 0 1 0 1 0 0 1 • 逻辑等价，是两个语句间的关系 p≡q，它本身不是语句。如： p → q  p  q = p  q 它们是逻辑等价（其真值表完全相同）。 如果 A、B 逻辑等价，则记作 A≡B。 （2）蕴涵式（p→q），也叫充分条件假言命题与逻辑蕴涵也不是一回事。 （3）逻辑联词﹃、∧、∨、→、 的结合力依次减弱。 例如： (p  q) → r可以写作p  q → r （4）恒真命题与恒假命题（特别地，语句常项“1”可看作一个恒真命题， 语句常项“0” 可看作一个恒假命题） 若 A≡B（逻辑等价-同真同假），则命题 AB≡1。 （5）命题演算中常用的等价式（12 个） （6）如何合并命题（P. 211） （7）逆否命题的制作举例（P. 212） （8）同一性命题(identity proposition)与分断式命题(segmented proposition) （9）关于逆命题、偏逆命题的真假（十三院校 P. 137）（真假需证明） 二、数学命题的四种形式