338 views
0 votes
0 votes

What is the difference between =>, <=> and ->?

Are => and -> used in the same way? => is logical implication and <=> is equivalence right? Then why does in some questions, => and <=> is read as 'if then'? '->' symbol is for if then right?

Refer to this: https://gateoverflow.in/3454/gate2007-it-21

1 Answer

Best answer
0 votes
0 votes
1.Are => and -> used in the same way?

yes.its just a way of representation.Arrow is in one direction is one way implication.Dont get confuse between single and double line.

2.=> is logical implication and <=> is equivalence right?

Yes.=> is logical implicatin.it implies in one direction ,while <==> implies both ways.

3.Then why does in some questions, => and <=> is read as 'if then'? '->' symbol is for if then right?

a:)If p then q is same as p->q ,it does not mean then q->p.its goes one way.One is symbolic representation,other is English.

b:) If p then q is not p<==>q. .

Refer rosen book.In first chapter they have mentioned around 15 ways of different representation of these symbols.
selected by

Related questions

0 votes
0 votes
0 answers
2
3 votes
3 votes
1 answer
4
srestha asked Jun 4, 2019
956 views
“Not every satisfiable logic is valid” Representation of it will be $1)\sim \left ( \forall S(x)\rightarrow V(x) \right )$or$2)\sim \left ( \forall S(x)\vee V(x) \rig...