33、设,;
32、如果既有,又有,记作 ;则是的 ;是的 。
31、如果已知,则是的 ;是的 。
如果“若则”为假,记作 。
30、如果“若则”为真,记作 ;
26、命题的否定:“非”叫做命题的否定。常用的正面叙述的词语及它的否定列举如下:
正面词语
等于
大于(>)
小于(<)
是
都是
否定
至多有一个
至少有一个
七、 四种命题:
27、原命题与 命题等价;否命题与 命题等价
原命题
若p则q
逆命题
否命题
逆否命题
28、四种命题
29、反证法:
步骤:(1)反设:假设结论不成立
(2)矛盾:从这个假设出发推出矛盾;
(3)结论:矛盾说明假设错误,因而结论正确
应用:(1)原则:正难则反
(2)适用情况:结论是否定的、结论含“至少有一个是”、证明逆定理等。
八、 充要条件:
非
真
假
或
25、真值表: