6 reputation
2
bio website thinkinbee.wordpress.com
location India
age 24
visits member for 2 years, 1 month
seen Nov 10 '12 at 12:08

Oct
23
answered Which books /tutorials will be good for these topics for AI computer science student
Oct
23
comment predicates & quantifiers
yeah @Peter but ultimately it was me who was at fault cos i did a typo when struggling with the various LateX rules that were necessary to be followed :-) but yes now i have managed to correct the typo i did . could you please help me now
Oct
23
comment predicates & quantifiers
Sorry being Logically Wicked ;-) it was a typo my serious apologies for the same
Oct
23
comment predicates & quantifiers
Yeah @LukeMathieson but as we can see the Second statement it says " The negation of a contradiction is a tautology " i.e it should be "$\forall x(C(\neg x)\rightarrow T(x)) $" next the Statement but i din't get the logic behind Rosen's answer ...
Oct
23
comment predicates & quantifiers
Yeah i edited that typo apologies for that but shouldn't the second statement be " $\forall x(C(\neg x)\rightarrow T(x)) $" as the statement resembles it ??
Oct
23
awarded  Editor
Oct
23
revised predicates & quantifiers
added 4 characters in body
Oct
23
awarded  Student
Oct
23
asked predicates & quantifiers