a)
"\\neg \\forall x P(x)\\iff\\exist x\\neg P(x)"
"\\neg \\exist x P(x)\\iff\\forall x\\neg P(x)"
b)
i) "\\forall x (x^2+2\\geq1)"
ii) "\\exist x (x-2<3)"
iii) "\\exist x (x^2<0" or "x+2\\geq1)"
iv) "\\forall x (x^2+2\\geq0" and "x-5<0)"
v) "\\exist x (x-2<3" or "x^3+5>2)"
vi) "\\exist x (x^2\\not=2)"
vii) All students in our class do not like chemistry.
viii) There exists a fox such that not cunning.
Comments
Leave a comment