Groups | Search | Server Info | Login | Register

Groups > sci.logic > #252559

Re: Smullyan's Proof of the Drinkers Principle V3

Newsgroups sci.logic
Date 2023-04-29 17:20 -0700
References <c100517c-4b7c-4e83-86ef-02ce3e336698n@googlegroups.com> <ba84dd85-8d6e-4084-b3b1-ff2c094eab36n@googlegroups.com>
Message-ID <0d85cc45-42bf-4802-a0b7-2e4eb078443en@googlegroups.com> (permalink)
Subject Re: Smullyan's Proof of the Drinkers Principle V3
From Mostowski Collapse <bursejan@gmail.com>

Show all headers | View raw

Now prove the other direction from 27 to 1. Can you do that 
in DC Poop? Wikipedia tells me the other direction does also hold:

https://en.wikipedia.org/wiki/Drinker_paradox#Non-empty_domain

Mostowski Collapse schrieb am Sonntag, 30. April 2023 um 02:16:24 UTC+2:
> How got the below version lost, and supplanted by this nonsense: 
> 
> http://www.dcproof.com/DrinkersThm1.htm
> Dan Christensen schrieb am Montag, 14. November 2022 um 20:51:18 UTC+1: 
> > 1. EXIST(a):U(a) 
> > Axiom
> > 27. EXIST(b):[U(b) & [Drinker(b) => ALL(a):[U(a) => Drinker(a)]]] 
> > Cases, 2, 26

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-04-29 17:16 -0700
  Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-04-29 17:20 -0700
    Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-04-30 07:42 -0700
      Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-04-30 07:45 -0700
        Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-04-30 08:31 -0700
          Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-04-30 10:50 -0700
            Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-04-30 12:35 -0700
              Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <janburse@fastmail.fm> - 2023-04-30 22:16 +0200
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-04-30 14:34 -0700
              Re: Smullyan's Proof of the Drinkers Principle V3 Jeff Barnett <jbb@notatt.com> - 2023-04-30 16:58 -0600
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-04-30 16:25 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-04-30 17:21 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-04-30 17:24 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-04-30 17:46 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-01 02:15 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-01 02:24 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-01 08:24 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-01 17:00 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-01 17:54 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-02 06:50 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-03 18:07 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-03 23:47 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-04 07:41 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-04 08:41 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-04 10:14 -0700

csiph-web