if-statement - 什么是 -> 运算符？

Question

哎呀，我不是在谈论对象运算符，有些人称之为箭头，有些人称之为东西......

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

if p then q，这是一个条件语句，它写成p -> q（p蕴含q），

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

谁能告诉我这个牌子叫什么？？有人可以解释一下吗？因为我只被标志抓住了，我什至听不到老师对这个条件陈述的看法......（老师让我下课说你在问愚蠢的问题：（）

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

score 1 · Accepted Answer

Wikipedia 将其命名为Material Conditional运算符，尽管我通常将其称为蕴含运算符。在我的离散结构类中，我们通常将其读作“如果 p 则 q”或“p 蕴含 q”。

为了完整起见，这里是真值表：

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

score 0 · Accepted Answer

0

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

于 2013-10-24T19:16:55.407 回答

score 0 · Accepted Answer

你可以这样理解，

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

3 回答 3