先阅读下面内容,然后完成后面的问题.例题,解不等式:(x-2)(2x+1)>0 由有理数的乘法法则“两数相乘,同号得正.”,可得;①{x-2>0 ②{x-2<0{2x+1>0 或 {2x+1<0解不等式①,得x>2,解不等式②,得x<-2分之1所以原不等式的解集是x>2,或x<-2分之1求不等式x+2分之x-1<=0的解集.

问题描述:

先阅读下面内容,然后完成后面的问题.例题,解不等式:(x-2)(2x+1)>0
由有理数的乘法法则“两数相乘,同号得正.”,可得;
①{x-2>0 ②{x-2<0
{2x+1>0 或 {2x+1<0
解不等式①,得x>2,解不等式②,得x<-2分之1
所以原不等式的解集是x>2,或x<-2分之1
求不等式x+2分之x-1<=0的解集.

Theorem)来保证以上的构作
方法是妥当的,在此不赘。]
1 1= 2"可以说是人类引入自
然数及有关的运算后"自然"
得到的结论。但从十九世纪
起数学家开始为建基于实数
系统的分析学建立严密的逻
辑基础后,人们才真正审视
关于自然数的基础问题。我
相信这方面最"经典"的证明
应要算是出现在由Russell和
Whitehead合着的"Principia
Mathematica"中的那个。
我们可以这样证明"1 1 = 2"

首先,可以推知:
αε1 (∑x)(α={x})
βε2 (∑x)(∑y)(β={x,y}.&.~(x=y))
ξε1 1 (∑x)(∑y)(β={x}∪{y}.&.~(
x=y))
所以对于任意的集合γ,我们

γε1 1
(∑x)(∑y)(γ={x}∪{y}.&.~(x=y))
(∑x)(∑y)(γ={x,y}.&.~(x=y))
γε2
根据集合论的外延公理(
Axiom of Extension),我们得
到1 1 = 2

(x-1)/(x+2)≤0 可以等价于(x-1)*(x+2)≤0
所以解集是(-2,1)