推出符号（关于推出符号的介绍）

1、“⇒”即为推出符号。

2、例：A推出B可表示为A⇒B。

3、充要的话可以用这个符号：“⇔”（即为等价于的意思）。