(Math Foundation 笔记)1.实数公理和用公理证明2

命题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