Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Replies: 39   Last Post: Oct 14, 2012 11:56 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
george

Posts: 800
Registered: 8/5/08
Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Posted: Oct 13, 2012 8:13 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Oct 13, 4:30 pm, Graham Cooper <grahamcoop...@gmail.com> wrote:
> RESOLUTION IS STATED AS:
>
> ((p v q) ^ (!p v r)) -> (q v r)
>
> So you have to get
>
> xRr <-> !xRr
> p = xRr
> !p = xRr
>
> ???
>
> Mind you, only 1 inference rule is needed, modus ponens


Resolution is also complete as an "only needed" inference rule, but
these things
are not complete in the way you think. If you are using MP as your
only inference rule
then --> IS YOUR ONLY CONNECTIVE, so you have to RE-WRITE any and
everything
that started out using /\ , V , or <--> TO USE --> INSTEAD,
IF you are going to use nothing but MP.

Similarly, since resolution ONLY operates on conjunctions of
disjunctions,
IF you are going to use resolution as your only inference rule, THEN
you AGAIN
have TO REWRITE everything that PREVIOUSLY had <--> or /\ in it AS a
collection
of disjunctions.

In particular (going for resolution),
p <--> q becomes
p --> q And q --> p; so, therefore,

rRr <--> ~rRr
becomes
(rRr --> ~rRr) and (~rRr --> rRr).

--> is the wrong connective for resolution; you have to translate -->
to V in order to use resolution.
Since, by definition, p --> q means ~p V q, the above pair of converse
conditionals become
~rRr V ~rRr and rRr V rRr .
Since disjunction is idempotent, each of these two-disjunct
disjunctions becomes a ONE-junct -junction (a "unit clause"), and the
two things you are trying to "resolve" become

~rRr resolved with rRr.
If you resolve THOSE two WITH EACH OTHER then you very quickly get
THE EMPTY CLAUSE, which is a "proof of false", which proves that the
original collection
of disjunctions was inherently contradictory, which is exactly the
result you want,
since this REALLY IS a paradox.


Date Subject Author
10/5/12
Read If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Frederick Williams
10/7/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Charlie-Boo
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Frederick Williams
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/7/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/8/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/9/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/11/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
camgirls@hush.com
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Richard Tobin
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
camgirls@hush.com
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
george
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/14/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
george
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
george
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
george
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/14/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/14/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/14/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Scott Berg
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Curt Welch
10/6/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Mike Terry
10/6/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.