Turn on thread page Beta
 You are Here: Home >< Maths

# Universal quantifiers, foundations and logic watch

1. The statement

"For every prime x there is a larger prime y"

which translates to (P is the set of primes)

I'm proposing that you can switch y>x and and that this version is the same as the one up above.

However my teacher said that this is incorrect why so?
2. (Original post by will'o'wisp2)
The statement

"For every prime x there is a larger prime y"

which translates to (P is the set of primes)

I'm proposing that you can switch y>x and and that this version is the same as the one up above.

However my teacher said that this is incorrect why so?
The scope of the quantifier follows the quantifier. It's part of the logical sentence syntax.

If you make the change you suggest the y in y>x will not be constrained by the existential quantifier, and the quantifier would be left hanging at the end. Just doesn't make sense.
3. (Original post by ghostwalker)
The scope of the quantifier follows the quantifier. It's part of the logical sentence syntax.

If you make the change you suggest the y in y>x will not be constrained by the existential quantifier, and the quantifier would be left hanging at the end. Just doesn't make sense.
took me a long time but i understand i think, so you read it like a sentence from left to right and it makes no sense if you state what y is before you define what it is right?
4. (Original post by will'o'wisp2)
took me a long time but i understand i think, so you read it like a sentence from left to right
Yes.

and it makes no sense if you state what y is before you define what it is right?
I think it best to say, if you're intending to define a variable, you must do so before you use it. And leave it at that.
5. (Original post by ghostwalker)
Yes.

I think it best to say, if you're intending to define a variable, you must do so before you use it. And leave it at that.
ye just what i meant(maybe not what i said xD) thanks man

Turn on thread page Beta

### Related university courses

TSR Support Team

We have a brilliant team of more than 60 Support Team members looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

This forum is supported by:
Updated: November 1, 2017
Today on TSR

### He lied about his age

Thought he was 19... really he's 14

### University open days

1. University of Bradford
Wed, 25 Jul '18
2. University of Buckingham
Psychology Taster Tutorial Undergraduate
Wed, 25 Jul '18
3. Bournemouth University
Clearing Campus Visit Undergraduate
Wed, 1 Aug '18
Poll
Useful resources

## Make your revision easier

### Maths Forum posting guidelines

Not sure where to post? Read the updated guidelines here

### How to use LaTex

Writing equations the easy way

### Study habits of A* students

Top tips from students who have already aced their exams

Can you help? Study help unanswered threads

## Groups associated with this forum:

View associated groups

The Student Room, Get Revising and Marked by Teachers are trading names of The Student Room Group Ltd.

Register Number: 04666380 (England and Wales), VAT No. 806 8067 22 Registered Office: International House, Queens Road, Brighton, BN1 3XE