Re: For All x
- From: george <greeneg@xxxxxxxxxxxxx>
- Date: Mon, 2 Feb 2009 12:52:22 -0800 (PST)
On Feb 2, 6:41 am, apoorv <sudhir...@xxxxxxxxxxx> wrote:
When we use the quantifier 'For All x' the variable x can range overNo.
all values in the domain under consideration.Does it mean that we know
beforehand what is in the domain and what is not?
We don't know and we don't care.
Aatu Koskensilta and some other people whom you may respect
will say otherwise (which is why you need a clarification), but they
are wrong.
.
- Follow-Ups:
- Re: For All x
- From: apoorv
- Re: For All x
- References:
- For All x
- From: apoorv
- For All x
- Prev by Date: Re: There is no such thing as an interepreted language
- Next by Date: Re: What is this property of relations called?
- Previous by thread: Re: For All x
- Next by thread: Re: For All x
- Index(es):
Relevant Pages
|
