Question

数学的逻辑推理中真的有"推出"符号么?

一般做题的时候就是用一个粗箭头表示.真正推理的时候有这个符号么?高考中可以用么?如果不能,那用什么替代?
如果我只有一个方向的肩头,不是充要 是充分呢

Answer 1

可以用的
“＝＞” 这个就是推出符号了。例：A推出B 可表示为A＝＞B。
充要的话可以用这个符号：“＜＝＞”（即为等价于的意思）。
A是B的充分非必要条件（即B是A的必要非充分条件），可表示为：A＝＞B；
A是B的必要非充分条件（即B是A的充分非必要条件），可表示为：B＝＞A；
A是B的充要条件，即：A＜＝＞B。

注：文中所有的符号中，两横（＝）均要延长至与箭头（＜、＞）相交

Answer 2

高考当然可以用推出符号
连课本上都有的东西考卷上自然也可以用

逻辑推理中也是有这个符号的
代表 “必要不充分” 条件

Answer 3

有啊。。。我找不到那个符号了。。
反正就是一个粗箭头。。。但是要两个方向。。表示充要条件

Answer 4

看着好难，我想了解下^和ho什么意思