Re: interpolation theorem of propositional logic

On 11 Apr 2006 03:36:16 -0700, "Li Yi" <liyi.cn@xxxxxxxxx> wrote:

If alpha |= beta, then there is some gamma all of whose sentence
symbols occur in both alpha and beta and such that alpha |= gamma |=
beta.

This is obviously false.

Hint: The weaker statement "If alpha |= beta, then there is some
gamma all of whose sentence symbols occur in both alpha and beta"
is obviously false.

************************

David C. Ullrich
.

Relevant Pages

  • Re: interpolation theorem of propositional logic
    ... beta is Q -> Q, then exactly what gamma uses ... only sentence symbols that appear in both ... alpha and beta? ...
    (sci.logic)
  • Re: Enumerating words and Adding integer, character and string
    ... On Fri, 2004-03-05 at 21:15, dont bother wrote: ... > 1 Alpha ... > 2 Beta ... > 3 Gamma ...
    (comp.lang.python)
  • Re: Query about joining table
    ... You are missing the basic CROSS join. ... gamma ' data ... one 1 alpha ... one 2 beta ...
    (microsoft.public.access.queries)
  • I forget the Induction Joke ...
    ... Drama in one act with 4 characters: The Grand Alpha, The Grand Beta, ... The Grand Omicron, and The Candidate. ... Please define a compact set. ...
    (rec.org.mensa)
  • Re:Re: Alpha, beta, ....
    ... Firefox 3 was done at alpha 3 (when i never hit a bug again and it pa? ... hanges to beta 1. ... I for one was happy to see Firefox 3 as in 7.10, ... There must be a different than gnash tool to play swf as I don't have gnash? ...
    (Ubuntu)