If statement 什么是->；操作人员

哎呀，我不是说对象操作符，有人叫它箭头，有人叫它东西

今天，在学习离散结构时，老师告诉我们

如果p然后q

，这是一个条件语句，其形式为

p->q

（p表示q）

我的问题是，这个符号叫什么，老师说它是if，然后符号，然后说，它暗示符号，但我觉得它不对

有人能告诉我这个标志叫什么吗？？有人能解释一下吗？因为我只是被那个牌子抓住了，我甚至听不清老师在说什么关于这个条件陈述…（老师让我下课说你在问愚蠢的问题。）

---

一个请求……我不知道该把这个问题放在哪里……因为离散结构与编程有关，所以把我的问题放在这里，如果我在错误的地方，请原谅我（不要向下投票，而是请将这个问题转移到适当的地方）

也许你可以简单地称之为箭头符号。我们过去常说它像“p arrow q”.

你可以这样理解它

p -> q // p derives q. You can reach to q if you are given p.
       // q is obtainable from p. 

---

Wikipedia将其命名为操作符，尽管我通常称之为蕴涵操作符。在我的离散结构类中，我们通常将其理解为“if p then q”或“p暗示q”

为了完整起见，下面是真值表：

p | q | p -> q
--------------
T | T |   T
T | F |   F
F | T |   T
F | F |   T

---

当我代替你们的时候，我常常把它叫做

drive

或

p drives q

。这个问题似乎离题了，因为它是关于离散数学和逻辑的，在math.stackexchange.com上更合适。我已经告诉过你们，我不确定把这个问题放在哪里，我把这个问题放在这里的原因是离散逻辑和编程有关，所以问题应该在这里。抱歉，我似乎错了。有人能编辑这个以满足编程标准吗？