Re: translation

From: William Elliot (marsh_at_privacy.net)
Date: 09/21/04 

Date: Mon, 20 Sep 2004 23:32:39 -0700

On Mon, 20 Sep 2004, nsgi_2004 wrote:

> "For all sets A and B, there is a function f that maps A onto B."
>
> I'm supposed to translate that into logic symbols.

> Then my translation: Let U denote the universal quantifier and 3 denote the
> existential quantifier:
>
> (UA and UB)3f, f(A)--->B
>
> Is that correct?
>
UA and UB isn't well formed formula.
f(A) --> B isn't using notation correctly

for all sets A, for all sets B, some function f that is from A onto B

for all A, for all B, (if A set & B set then
        some f with f function and f from A and f onto B)

> One thing that makes me wonder if I'm not suppose to have the "and" is that
> this section on quantifiers comes before the section on the logical
> operators, such as and. So I'm wondering if I should be using it yet.
>
for all sets A,B, some surjection f:A -> B