推出符号

1、“⇒”即为推出符号。 2、例：A推出B可表示为A⇒B。 3、充要的话可以用这个符号：“⇔”（即为等价于的意思）...