2013-10-24 167 views
-1

哎呀,我不是在談論對象操作符,有人稱之爲箭頭,有人稱之爲啄......今天什麼是 - >運算符?

,而學習離散型結構,老師告訴我們,

if p then q,這是一個條件陳述和它的書面p -> q(p暗示q),

我的問題是,這個標誌叫什麼,老師說如果然後簽署,然後說,它的意思是標誌,但我不覺得它是正確的.. 。

有人可以告訴我這個牌子叫什麼嗎?有人可以解釋嗎?因爲我只是在招牌上被抓到,我甚至無法聽到老師對這個有條件陳述的講話......(老師送我離開課堂說你在問學生問題:()

一個請求。 。我不知道該把這個問題放在哪裏......因爲離散結構與編程有關,所以把我的問題放在這裏,如果我在錯誤的地方,請原諒我(不要降低投票率,而是請把這個問題轉移到適當的地方)

+0

當我在的地方,你,我習慣稱之爲'drive'或'p驅動器q'。 – Arpit

+4

這個問題似乎與題外話,因爲它是關於離散數學和邏輯,這在math.stackexchange.com更適合。 – templatetypedef

+0

我已經告訴過你們,我不知道該把這個問題放在哪裏,我在這裏提出這個問題的理由是,離散邏輯與編程有關,所以問題應該在這裏。因爲我似乎錯了。請編輯此符合編程標準? –

回答

1

維基百科標題它Material Conditional運營商,雖然我通常把它稱爲蘊涵運營商。在我的離散結構類中,我們通常把它看作是「如果p然後q」或「p暗示q」。

爲了完整起見,這裏的真值表:

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

也許你可以把它簡單的箭頭標誌。我們常說像「p箭頭q」。

0

您可以通過這種方式瞭解它,

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