Part 2, Logical Form
                                MCT - 6
                          Christmas Eve, 1993
                 Copyright (C) 1993 Homer Wilson Smith
       Redistribution rights granted for non commercial purposes
                   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.
                     There is peace in the thought
            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.
      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)
 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
                                                     Homer Wilson Smith
Homer Wilson Smith           This file may be found at    
Posted to usenet newsgroup: