Re: Scott and George's Teaching Thread

On Aug 27, 1:34 pm, Scott <ToaTe...@xxxxxxxxx> wrote:

The notation "U c V =df Ax[xeU -> xeV]" is a notation used strictly
for readability, which means everywhere I see "UcV" I should replace
with "Ax[xeU -> xeV]"; eg, UcVcW is equivalent to Ax[xeU -> xeV ->
xeW]. Correct?

No. '->' is not associative. That's something that you would know
right down to your bones if you had your basic logic skills in order.
I just don't understand why you don't want to get a good textbook on
first order logic. I'm sincere; it would help me understand if would
you tell me why you don't want to do that.

MoeBlee


.