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

　　高一数学第一章四种命题形式推出符号“=>”加一条斜线是什么

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

　　‘’α=/=>β‘’又该怎么读?

　　我是问怎么读

　　比如“=”读等号，‘’=/=>‘’读什么（据说是“不能推出符号”）

　　比如‘’α+β‘’读“α加β”，‘’α=/=>β‘’读什么