Register

Self Doubt

• edited by
606 views
0 votes
0 votes
What would be the execution order of the below statement?

$$A \implies B \implies C$$
• edited by
User Avatar

1 Answer

0 votes
0 votes

 Implication is NOT associative. 

The implies operator (→) does not have the associative property. That means that (p→q)→r is not equivalent to p→(q→r). Because of that, the question comes  how p→q→r should be interpreted. Well, It depends on the author if you have found this in some standard book.

In GATE, Proper Parentheses will be given. So, chill.

User Avatar
Voting & Accepting an answer helps improve the community
← PreviousNext →
← Previous in categoryNext in category →

Related questions

0 votes
0 votes
1 answer
1
farhan777 asked 5 days ago
33 views
self doubt
how to check the validity of an a argument using laws of logics
how to check the validity of an a argument using laws of logics
User Avatar
0 votes
0 votes
1 answer
2
Çșȇ ʛấẗẻ asked Mar 20, 2023
389 views
self doubt
how to write if and only if symbolic form explain in detail????
how to write if and only if symbolic form explain in detail????
User Avatar
0 votes
0 votes
0 answers
3
curious mind asked Jan 1, 2023
319 views
Self Doubt
A relation R1 : aRb iff (a congruent b) modulo 5 and relation R2 : aRb iff (a congruent b modulo 7). What will be R1 U R2 ?
A relation R1 : aRb iff (a congruent b) modulo 5 and relation R2 : aRb iff (a congruent b modulo 7). What will be R1 U R2 ?
User Avatar
3 votes
3 votes
1 answer
4
srestha asked Jun 4, 2019
990 views
Mathematical Logic Ques:Self doubt
“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) \right )$ Among $1)$ and $2)$, which one is correct? and why?
“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...
User Avatar
Link Copied!