2 votes 2 votes Mathematical Logic made-easy-test-series discrete-mathematics mathematical-logic first-order-logic + – vaishali jhalani asked Jan 30, 2017 • edited Mar 5, 2019 by adeebafatima1 vaishali jhalani 456 views answer comment Share Follow See all 3 Comments See all 3 3 Comments reply Sushant Gokhale commented Jan 31, 2017 reply Follow Share C is correct. SO, what is ur doubt? 0 votes 0 votes vaishali jhalani commented Jan 31, 2017 reply Follow Share i am not getting...what is asked? 0 votes 0 votes Sushant Gokhale commented Jan 31, 2017 reply Follow Share $\exists$!x means there exists only single x such that P(x) is satisfied. Statement1: Vx [P(x) .....] means that there can be more than single x that satisfies P Statement 2: $\exists$y [Vx P(x) ^ {P(y) -> x=y} ) means there can be more than single x that satisfies P and if there exists y that satisfies P then x=y(which means y is no different from x) Statement 3: There exists x such that it satisfies P() and for all y such that if they satisfy P then x=y (i.e y is no different from x) Now, here you should assume that set used for 'x' must also be the same for 'y'. 1 votes 1 votes Please log in or register to add a comment.