不可兼或真值表： 对照 可兼或真值表： q pvg p q 1 1 0 1 1 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 PVg为真(1)包括三种情况，其中之一就是“p真且q真”不可漏掉，即 不排除(=0且)=0即)=0的可能)。 数学上，一般讨论的析取是可兼或析取。 4°.蕴涵p→q=pvg(条件假言命题)=pAg 5.当且仅当pq(等价) (4)数学命题的表达形式 数学命题大多为蕴涵式，它用来表达某对象在一定的条件下所具有的属性， 其一般形式可表示为： 关于M,若p,则q(即关于Mp→q) 其中，作为题设的p,是蕴涵式的“前件”，作为题设的q,是蕴涵式的“后件” 不论前件和后件都是关于某对象(M)的，M又称为命题涉及的主体对象 在中学数学教材中解释为：在一定范围内，同一素材。命题的对象(M)在命题 的变换（如作逆、否、逆否命题等）中具有不变性。 例如在△ABC中，若∠A=∠B,则BC=AC: 实数a、b,若a2+b2-0,由a-0且b0: 平面内的一条直线，如果它和这个平面的一条斜线的射影垂直，那么，它也 和这条斜线垂直。 但，也有不少数学命题的对象不是以明显的形式给出 例若x∈0，]，则y=snx是单调上升。 M-一函数“y=snx”。 例对顶角相等。不可兼或真值表： 对照 可兼或真值表： p q pq p  q p q p  q 1 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 p  q 为真（1）包括三种情况，其中之一就是“p 真且 q 真”不可漏掉，即 不排除（x=0 且 y=0 即 x=y=0 的可能）。 数学上，一般讨论的析取是可兼或析取。 4 ．蕴涵 p→q≡ p  q （条件假言命题）≡ p  q 5 ．当且仅当 p q （等价） （4）数学命题的表达形式 数学命题大多为蕴涵式，它用来表达某对象在一定的条件下所具有的属性。 其一般形式可表示为： 关于 M，若 p，则 q （即关于 M：p → q ） 其中，作为题设的 p，是蕴涵式的“前件”，作为题设的 q，是蕴涵式的“后件” 不论前件和后件都是关于某对象（M）的，M 又称为命题涉及的主体对象。 在中学数学教材中解释为：在一定范围内，同一素材。命题的对象（M）在命题 的变换（如作逆、否、逆否命题等）中具有不变性。 例如 在△ABC 中，若∠A=∠B，则 BC=AC； 实数 a、b，若 a 2+b2=0，由 a=0 且 b=0； 平面内的一条直线，如果它和这个平面的一条斜线的射影垂直，那么，它也 和这条斜线垂直。 但，也有不少数学命题的对象不是以明显的形式给出。 例 若 ] 2 [0,  x  ，则 y = sin x 是单调上升。 M—— 函数“ y = sin x ”。 例 对顶角相等