随笔分类 -  离散数学

discrete mathematics notes.
反证法
摘要：利用反证法证明:对于所有实数x和y,如果x+y2,则x或者y1.答:假定x和y均为实数,然后假定结论为假,即¬(x≥1y≥1)为真.根据DeMorgan定律,¬(pνq)≡¬pΛ¬q,得¬(x≥1νy≥1)≡¬x≥1Λ¬y≥1≡x≤1Λy≤1.使用前面的定理,将不等式相加,x+y<1+1=2堆出了矛... 阅读全文
posted @ 2014-08-22 14:12 wonkju 阅读(305) 评论(0) 推荐(0)
离散数学基础.
摘要：^ 合取联结词,作用的两个命题是相互独立的: 阅读全文
posted @ 2014-06-19 11:23 wonkju 阅读(137) 评论(0) 推荐(0)