THE MACHINE CERTAINTY THEOREM
                          Part 2, Logical Form
 
                                MCT - 6
                          Christmas Eve, 1993
 
                 Copyright (C) 1993 Homer Wilson Smith
       Redistribution rights granted for non commercial purposes
 
 
                                Preamble
 
                   At first they said it wasn't true.
                  Then they said it wasn't important.
                 Then they said they knew it all along.
 
 
                            Mother and Child
 
                      Listen now closely my Child,
               For there is a SIGN that MY story is true.
                         One WORD is the PROOF,
                         And the word is PRIDE,
                    I ADORE you for ever, for free.
 
 
                                Endings
 
                     There is peace in the thought
                                  that
            One day all men will attain the awakened state.
                     All endings are happy endings.
        You WOULD not, COULD not, have chosen it any other way.
          It is payment for the long strange trip it's been.
                     Responsibility is a big thing.
               Certainly bigger than our parents told us.
                  RESPONSIBILITY for RESPONSE ABILITY.
      Do not DOUBT you CHOSE it and then LOOK to SEE for EVIDENCE.
                               YOU CHOSE.
                What PROOF did you leave behind you now?
 
                        There is only one PROOF.
               Learn it.  Love it.  Teach it.  Master it.
                                All can.
             However for some people, by their own choice,
              It will be a long time between now and then.
               You can't move your house around town, if
                  You have locked yourself inside it.
 
                            In Excelsis Deo.
 
         From ADORE, A Divine Operating Religion of Excellence
 
                               THE PROOF
 
                 Copyright (C) 1973 Homer Wilson Smith
       Redistribution rights granted for non commerical purposes.
 
 
 Definitions:            a.  = means 'is equivalent to by definition'
                         b.  ~ = NOT
                         c.  (A -> B ; -> C) = (A -> B) and (B -> C)
                         d.  LC  = L and C
                         e.  LNC = L and ~C
 
 Theorem:               ~D   (To be proved)
 
 Assumptions:            1.  L <--> LC or LNC           Logical
                         2.  (D and L) -> LBLE          Intuitional
                         3.  LBLE -> ~LC                Definitional
                         4.  LC                         Observational
 
 Specific     (2,3)[A]   5.  (D and L) -> ~LC
 Logics:    (5)[B];[C]   6.  LC -> ~(D and L) ; -> (~D or ~L)
                (1)[D]   7.  LC -> L
          (6,7)[E];[F]   8.  LC -> (~D or ~L) and L ; -> ~D
              (4,8)[G]   9.  ~D                         (Conclusion)
 
                                  Q.E.D.
 
 General      (T.O.I.)   A.  ((A -> B) and (B -> C)) -> (A -> C)
 Logics:        (M.T.)   B.  (A -> B) -> (~B -> ~A)
            (D.N.O.A.)   C.  ~(A and B) -> (~A or ~B)
                         D.  (A <--> (B or C)) -> (B -> A)
                 (ADD)   E.  ((A -> B) and (A -> C)) -> (A -> (B and C))
                         F.  ((A or B) and ~B) -> A
                (M.P.)   G.  (A and (A -> B)) -> B
 
 
 Names of      T.O.I. means Transitivity Of Implication
 General         M.T. means Modus Tolens
 Logics:     D.N.O.A. means Distribution of Not Over And
                 ADD  means Addition
                 M.P. means Modus Ponens
 
 
                                                        12/14/1978
 
                                                     Homer Wilson Smith
 
-----------------------------------------------------------------------
Homer Wilson Smith           This file may be found at
homer@rahul.net              ftp.rahul.net/pub/homer/homer/mct6.memo
Posted to usenet newsgroup:  alt.clearing.technology