You are here:

Advanced Math/Quantifiers.

Advertisement


Question

Predicates
Hi,
me again! Another question - can you help? It's attached in the image?

Answer
Hi, Sam,

IF you are going to send stuff with special symbols, you have to include definitions of them.  I am going to have to guess what the ':' and the dot stand for.

1. Looks like:  It is not true that for all integers x, x = 31.  This looks true. It says that not every integer is equal to 31.

2. There is no integer x such that for every integer y, y > x.  True enough. It says there is no smallest integer.

3. For every x in N (natural numbers), there is a y such that y = 5*x.
True.  

Paul Klarreich

Expertise

I can answer questions in basic to advanced algebra (theory of equations, complex numbers), precalculus (functions, graphs, exponential, logarithmic, and trigonometric functions and identities), basic probability, and finite mathematics, including mathematical induction. I can also try (but not guarantee) to answer questions on Abstract Algebra -- groups, rings, etc. and Analysis -- sequences, limits, continuity. I won't understand specialized engineering or business jargon.

Experience

I taught at a two-year college for 25 years, including all subjects from algebra to third-semester calculus.

Education/Credentials
-----------

©2012 About.com, a part of The New York Times Company. All rights reserved.