what is -> operator? [closed]

Question

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.

---

This question does not appear to be about programming within the scope defined in the help center.

Closed 8 years ago.

Improve this question

oops, I am not talking about Object Operator, some call it arrow, some call it thingy...

today, while studying DISCRETE STRUCTURES, teacher told us,

if p then q , this is a conditional statement and its written as p -> q ( p implies q),

my question was, what this sign is called, teacher says its if and then sign, then say, its implies sign, but I dont feel it right...

can somebody tell me what this sign is called?? can somebody explain it ? as I was caught in the sign only, I wasnt even able to listen what the teacher was telling about this conditional statement...( teacher sent me out of class saying YOU ARE ASKING FOOLISH QUESTIONSS :( )

One Request..I dont know where to Put this question...as discrete structures relates to programming, so putting my question right here, Forgive me for this if I am at wrong place ( no down-voting , rather please shift this question to approperiate place )

Answer 1

Wikipedia titles it the Material Conditional operator, though I've usually called it the implication operator. In my discrete structures class, we generally read it as either "if p then q" or "p implies q".

For completeness sake, here's the truth table:

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

Answer 2

Maybe you could call it simply the arrow sign. We used to say it like "p arrow q".

Answer 3

you can understand it by this way,

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