Re: interpolation theorem of propositional logic

He

> (instead of saying more correctly
> that it's isomorphic to propositional logic)

And if I had asked sci.logic whether
porpositional logic is contained
in FOL I wouldn't probably get an answer.

Now you not only know that it is contained
you also know the construction to
contain it. He he.

BTW: There are other containments, an other
one would map propositional variables P
to FOL prim formulas P=1 with the FOL
variable in it.

Then you can also quantify over "propositional
variables", i.e. say something like
exists P A. This is today known as QSAT.

Best Regards
.

Relevant Pages

  • Re: interpolation theorem of propositional logic
    ... in FOL I wouldn't probably get an answer. ... There are other containments, ... your idea that we should regard variables ... and function symbols are sentence ...
    (sci.logic)
  • Re: MV Keys
    ... "x is 2" is not a sentence in the contex of FOL. ... I guess I don't speak their language either. ... some predicate (which is an element of a FOL language). ... you're saying that an element of a relation doesn't have a truth value? ...
    (comp.databases.theory)