这篇笔记探讨了实数的公理基础，包括命题1.2(-x)y=-(xy)，1.3(-x)(-y)=xy，1.4证明0<1，1.5证明1+1≠0且1+1=2，以及1.7至1.12关于不等式和量词的命题，展示了如何使用公理系统进行数学证明。
命题1.2：(-x)y= -(xy)
任意一个负实数乘以任意一个正实数等于一个可以提出一元运算符(-)后的两个正实数的积
一个负数乘以一个正数可以把负号到前面
先取命题等式的左边，令：(-x)y=(-x)y
然后两边同时加上了(xy+(-(xy)))
之后通过分配律进行化简
命题1.3：(-x)(-y)= xy
两个任意负实数想成得到一个正实数且是那两个书的积
先从命题左边开始：令(-x)(-y)=(-x)(-y)
然后两边同时加上(-(xy)+xy)
之后开始化简
间接证明法：——>反证法？
1. 先假设命题的相反结论为TRUE
2. 然后找出一个逻辑矛盾点
3. 最后因为逻辑矛盾，所以假设的命题必为False
命题1.4：0 < 1零比1
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
