first order logic

[Satyendra Jain]

what is the negation of  ∀x∀y x+y=10

(a) ∃x ∀y x+y=10

(b) ∃x∃y  x+y≠10

(c) ∃x∃y  x+y=10

(d)  ∀x∀y x+y≠10

[Prateek Khare]

(b)

explanation : statement is given for every value of x and y the sum of
x and y is 10
option (b) says that there exist atleast one x and one y for which the
sum x+y is not equal to 10 therefore if there is one such value of x
and y in the domain then ∀ condition can't be applied therefore (b) is
negation of given statement ..

option (a) and (c) are subsets of statement

option (d) says that the sum x+y must not be equal to 10 for all
values of x and y but its not a necessary condition .. :)

--
Prateek Khare

[Satyendra Jain]

thanx prateek

[Prateek Khare]

mention not yr :)

On 7/27/12, Satyendra Jain <satyend...@gmail.com> wrote:
>
>>

>> thanx prateek
>
>


--
Prateek Khare

[Saurabh Singh]

minimum condition provide by b to prove statement negation ...true..

[rudal kumar prasad]

hey can i help me how r u writing the quantifier symbols while posting the mail................

[rudal kumar prasad]

hey can u help me hw to write quantifier symbol while posting a mail/////..........for " for all n where exists

On Friday, July 27, 2012 5:39:35 PM UTC+5:30, Satyendra Jain wrote:

[Saurabh Singh]

write in MS OFFICE WORD there are special symbols for that and then copy paste it..

[Saurabh Singh]

MS office go to insert and then go to equation extreme right from there u can derive any thing with special symbol...and then copy paste it...

[rudal kumar prasad]

rthank u so much frndsssss

[Saurabh Singh]

thanks to ravindra sir.....

[rudal kumar prasad]

ya sure yaar thanx to him 2

On Sun, Jul 29, 2012 at 11:54 AM, Saurabh Singh <saurabhs...@gmail.com> wrote:

thanks to ravindra sir.....