0 votes 0 votes (∀x∀yP(x,y))→(∀x∀yP(y,x)) is tautology or not?? Mathematical Logic propositional-logic mathematical-logic + – mohit kumar 5 asked Dec 16, 2017 mohit kumar 5 398 views answer comment Share Follow See all 3 Comments See all 3 3 Comments reply mohit kumar 5 commented Dec 16, 2017 reply Follow Share Can you give an example? 0 votes 0 votes akash.dinkar12 commented Jan 25, 2018 reply Follow Share No its not tautology!!! See this IV option https://gateoverflow.in/8259/gate2015-2_55 0 votes 0 votes Manu Thakur commented Jan 25, 2018 reply Follow Share it's not a tautology if the domains for X and Y are not same. for example P(X,Y) Girl X ties rakhi to Boy Y now P(X,Y) is not same as P(Y,X) 4 votes 4 votes Please log in or register to add a comment.