Re: Scott and George's Teaching Thread

On Mon, 27 Aug 2007 20:34:05 -0000, Scott <ToaTerra@xxxxxxxxx> wrote:


U c V c W is equivalent to Ax(xeU -> xeV -> xeW). Correct?

No.

1.
Ax(x e U -> x e V -> x e W)

is (usually) not a wff.

2.

U c V c W

usually is short (i.e. an abbreviation) for

U c V & V c W ,

which in turn is an abbreviation for

Ax(x e U -> x e V) & Ax(x e V -> x e W).


F.

--

E-mail: info<at>simple-line<dot>de
.