Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes

Replies: 53   Last Post: Feb 13, 2013 3:53 PM

 Search Thread: Advanced Search

 Messages: [ Previous | Next ]
 camgirls@hush.com Posts: 12 Registered: 4/8/11
Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes

Posted: Feb 3, 2013 11:53 PM
 Plain Text Reply

On Feb 4, 2:19 pm, Charlie-Boo <shymath...@gmail.com> wrote:
>
> > RELATION
> > p(a, b, e)

>
> If wffs are built on relations then { x | x ~e x } is not a wff
> because ~e is not a relation.
>

if e(x,y) is a predicate
then not(e(x,y)) is a predicate

http://en.wikipedia.org/wiki/First_order_logic#Formation_rules
Negation. If f is a formula, then f' is a formula.

---------------------------------------------

In BLOCK PROLOG Russell's Set would be:

if [ not [ e X X ]] [ e X rs ]
if [ e X rs ] [ not [ e X X ]]

I'm trying to forward MODUS PONENS to a contradiction!

Herc
--
www.BLoCKPROLOG.com

Date Subject Author
2/1/13 Graham Cooper
2/3/13 Charlie-Boo
2/3/13 Graham Cooper
2/3/13 Charlie-Boo
2/3/13 Graham Cooper
2/3/13 Graham Cooper
2/3/13 Charlie-Boo
2/3/13 Graham Cooper
2/3/13 Charlie-Boo
2/3/13 camgirls@hush.com
2/4/13 Charlie-Boo
2/4/13 billh04
2/4/13 Charlie-Boo
2/4/13 William Hale
2/4/13 Lord Androcles, Zeroth Earl of Medway
2/9/13 Graham Cooper
2/5/13 Charlie-Boo
2/4/13 Graham Cooper
2/5/13 Charlie-Boo
2/5/13 Graham Cooper
2/5/13 Brian Q. Hutchings
2/6/13 Graham Cooper
2/6/13 Charlie-Boo
2/4/13 fom
2/4/13 Charlie-Boo
2/4/13 fom
2/5/13 Charlie-Boo
2/7/13 fom
2/9/13 Charlie-Boo
2/9/13 Graham Cooper
2/11/13 Charlie-Boo
2/10/13 fom
2/10/13 Graham Cooper
2/10/13 fom
2/10/13 Graham Cooper
2/11/13 Charlie-Boo
2/11/13 Charlie-Boo
2/11/13 Charlie-Boo
2/11/13 Graham Cooper
2/13/13 Charlie-Boo
2/11/13 Charlie-Boo
2/11/13 fom
2/5/13 Charlie-Boo
2/5/13 fom
2/6/13 fom
2/11/13 Charlie-Boo
2/11/13 fom
2/13/13 Charlie-Boo
2/13/13 fom
2/4/13 Graham Cooper
2/4/13 Charlie-Boo
2/5/13 Charlie-Boo

© The Math Forum at NCTM 1994-2018. All Rights Reserved.