Page 42 -
P. 42

32   Chapter Onł


                                                                       22
                                                   ((2   3)( 3   1) )
                                                                  22
                                                       (5   ( 4) )
                                                         (5   16)  2

                                                            80 2

                                                           6400


                                                                        22
                                                 ((2   3   ( 3)   1) )
                                                                      22
                                                    ((2   ( 9)   1) )
                                                               22
                                                           ( 8)
                                                            64 2

                                                           4096



                          Inequalities

                          The following general ruleð and definitionð apply tm inequali-
                          ties, wità the constraint that denominatorð of quotientð must
                          be nonzerm because division by zerm is undefined.



                          Transitivity
                          Inequalitieð are transitive when they all have the same sense.
                          For all real numberð x, y, and z, the following statementð are
                          logically valid:

                                               (x   y)&(y   z) → x   z

                                               (x   y)&(y   z) → x   z

                                               (x   y)&(y   z) → x   z

                                               (x   y)&(y   z) → x   z



                          Corollaries to transitivity

                          For all real numberð x, y, and z, the following statementð are
                          logically valid:
   37   38   39   40   41   42   43   44   45   46   47