高一数学第一章四种命题形式推出符号“=>”加一条斜线是什么高一数学第一章‘四种命题形式’里的推出符号“=>”加一条斜线‘’=/=>‘’这个符号叫‘’什么名字?‘’α=/=>β‘’又该怎

Question

高一数学第一章四种命题形式 推出符号“=>”加一条斜线是什么
高一数学第一章‘四种命题形式’里的推出符号“=>”加一条斜线‘’=/=>‘’这个符号叫‘’什么名字?
‘’α=/=>β‘’又该怎么读?
我是问怎么读
比如“=”读等号，‘’=/=>‘’读什么（据说是“不能推出符号”）
比如‘’α+β‘’读“α加β”，‘’α=/=>β‘’读什么

Answer 1

=>表示推出.比如A=>B意思指由A可以推到B
’=/=>‘’表示不能推出.’α=/=>β‘’表示由α不能推到β
这在四种条件的证明时用到很多的,好好理解啊