今天，在学习 DISCRETE STRUCTURES 时，老师告诉我们，
if p then q，这是一个条件语句，写成p -> q（p暗示q），
我的问题是，这个标志叫什么，老师说它是否然后签字，然后说，它的暗示标志，但我感觉不对......
有人可以告诉我这个标志叫什么？有人可以解释一下吗？因为我只是在标志中被抓住了，所以我甚至无法听到老师讲述这条有条件的陈述......（老师让我下课时说你问起了愚蠢的问题:(）
一个请求..我不知道在哪里提出这个问题...因为离散结构与编程有关，所以把我的问题放在这里，请原谅我，如果我在错误的地方（没有投票，而是请把这个问题转移到合适的地方）
答案 0 :(得分：1)
维基百科将其称为 Material Conditional 运算符，但我通常将其称为暗示运算符。在我的离散结构类中，我们通常将其读作“if p then q”或“p暗示q”。
为了完整起见，这是真值表：
p | q | p -> q
--------------
T | T | T
T | F | F
F | T | T
F | F | T
答案 1 :(得分：0)
也许你可以简单地称它为箭头标志。我们曾经说它像“p arrow q”。
答案 2 :(得分：0)
你可以通过这种方式理解它，
p -> q // p derives q. You can reach to q if you are given p.
// q is obtainable from p.