Re: Question: What conditions are sufficient to prove a subset does not exist?

On Jul 30, 1:13 pm, george <gree...@xxxxxxxxxx> wrote:
Everything you have seen involving "exists(f)" or some similar
locution
is incorrect. The issue IS NEVER whether "f" exists. The issue IS
whether
something -- that's right, SOME *thing* -- satisfying some CONDITION
or predicate
exists. You phrase THAT as Ex[cond(x)]. But you DON'T say
"exists(f)".

Sorry, don't quite follow you here. Since exists() is a predicate and
f is variable, how is that different from "cond(x)" where cond() is a
predicate and x is variable? Are you just concerned that we're talking
without binding the variables?


.