Guest guest Posted September 28, 2002 Report Share Posted September 28, 2002 Pete, > F " becomes " ~(Ex)F(x). " > Logical notation for nothing. I'm interested in this. Could you please spell it out for me? I'm guessing: " There does not exist x with the attribute F. " -Bill Quote Link to comment Share on other sites More sharing options...
Guest guest Posted September 28, 2002 Report Share Posted September 28, 2002 --- Bill Rishel <plexus wrote: > Pete, > > > F " becomes " ~(Ex)F(x). " > > Logical notation for nothing. > I'm interested in this. Could you please > spell it out for me? I'm guessing: > " There does not exist x with the attribute F. " > > -Bill Hi Bill, In logical notation nothing is represented as the negation of the existencial quantifier Ex. Where Fx is the result of aplication of the (monadic) function F to the argument x- Hopes that helps, Pete New DSL Internet Access from SBC & http://sbc. Quote Link to comment Share on other sites More sharing options...
Recommended Posts
Join the conversation
You are posting as a guest. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.