Docsity
Docsity

Prepara i tuoi esami
Prepara i tuoi esami

Studia grazie alle numerose risorse presenti su Docsity


Ottieni i punti per scaricare
Ottieni i punti per scaricare

Guadagna punti aiutando altri studenti oppure acquistali con un piano Premium


Guide e consigli
Guide e consigli

Istituzioni di Matematica - Appunti - Parte 2, Appunti di Istituzioni Di Matematica I

Argomenti trattati: continuazione della prima parte,tautologie,contraddizioni,deduzione logica,metodi di dimostrazione,doppia deduzione logica,enunciati associati ad un problema,formalizzazione del processo logico,teorie logiche,teorie quantificate,teoria degli insiemi,costruzione di una teoria matematica formale,criteri di verità ,teorie ugualitarie,teoria degli insiemi,cos'ਠun insieme

Tipologia: Appunti

2009/2010

Caricato il 09/01/2010

mascateo
mascateo 🇮🇹

4.3

(385)

408 documenti

1 / 35

Documenti correlati


Anteprima parziale del testo

Scarica Istituzioni di Matematica - Appunti - Parte 2 e più Appunti in PDF di Istituzioni Di Matematica I solo su Docsity! -              2    4  5F 4  5  F 4  5       4  5* "      2   )                  * <*@ !  )      2 -     )  D   "       "  -   "        "  -   .   H   D  EF   K "  & 2L . "          & 2L .  "     3   H  D  D  EE-    )      P-    D          3D  A + + A A A A A (    -     )        D    - 22       )*             -  22      . - )      *        )       +     ) .D +   D  E        %  -   D  D  EE           %  * -                 (  #   &     - +     .    -    )           )       .   *           2  4       5 3     )* F % G :5      )        )D :5 D  E    /5    D  >E <5 D  >E   D>  E =5 D   >E   DD  4E   D>  4EE* /5     3    ) D   >E #   D  >    E 2 -   %  %   )  D   "   9 3      9  3    -   F  "              "       -            D 0  D  D  EE  H   D  E-    )      P-           D  A + + A + + + + #        )     ) -       !*       +- 22            .     + - )      %  * <*>      ) 'D E         D   "       - 5D   "       * -                              E    -       )        45           3     3-         ++        * "       4   5-           43 +5    -       ) -            4 +5*        ..     3              -    )     * " )   +            * %-           + 4       5             4          5-         6   +  3D  3     *    2                 )   2    : 3  *   G                 / #  * 3 G     "  %  * J  %     G            2        +   *      )     2    D * #2  3 -  7  2      3 *    .  =    )  * & 2 3  - 7      . -        +   *         3 +  +         -  2 )  - A  -    +      ) ) D           2    * "+-                    )  MF    .          2 3     +   )  M*     )        -   +        .       * '  3     -       -     ++ .      M* %  ))      D    .    2    3 -       *         2      3   * #     ) - 2 ))            6  )  +  D $               "     8   &      " * -                 "+- .              "      #     "          ))  D   "    #     "   NO  N"  &O  #     "     N"  &O  "     - .    +                    )   +      ) + * '2  #  4:>8<5                          D        "                      :                             F       !!  7 & !!       4 &      &  %% &    "  %     6     7           & "  !!      &;         /  &;    !       %   - 6            -   /           #   8           :         #  &     !    !  /   %   &;       7     * "    )                  2)  * F       3    3          2   *  -            ED G  3 - 3G  3 * #   D  3 -        +     +) /-     * '   +)     *         +   3 +             2       * #2 3 * #    D -              *    +    )   D  3D  3 -   ..    #   2 .. H /  #*  ..   ) D    ..      3 -           2 3 *  )      2       *     6   )D   3 * <*::       ) (       +             )-    )      +      %            %           )        D  4 5  3 45          G 3 4 5   45       .      *         3          #  *    3    ) 2            +     -     ED  3 3       3   F D       ++ ++7  3   3      *      ++ 3     3:       3   3  * 2  )        3 3   .      3*            F         -  E         * "    )       D  3   >   3   <-  3    3  *   E            3 .  <   3 .  /-        3 .  ? 4  5*  3 + F +-        3 .  ?   3      +   .  /    .  < 4    5* <*:/         " -    3  - 3       + D     3 DE    3       -       * + %%%                  1   =*        ) =*: "   " )- B             )        +  B  -        E     -           -        )     * 1 3   + - )7     )   )    D          ))) B  -    ) 3   * (   2        ) C   * 1           ) 3 ++  -                   +        A          *    +   )   )  A    -   ! %%  )   )  -      * " 2  -         -        ) -   - 6    A )   )  * &     *  6   4;;;5      2   )  3 ))      )      - 7 3  .         ..  * "  .  )         2    +          +           )*    +         +     .  !   +   -          * "+-   3  )      -     +    +  -    +    +   - 7                 )     +  * (  3  -  )  +  3 ++     ))) -     .)        *  6     )    ))) -   2 -  2        .) -   -     - *    ))) +    ))    )     +        +       +    +       +      .  )  + -  3        )   * 1       ) 3    ) -           )-           ))    ) 4(- :>??- (- :>9@5* 1 )     .      )  *   ) 2   - )   ) ) - +  + %%%                  2        +-      .  -     .         )+   *  )    2  )     ..-       / I /      +             *  )-  -  ) ) D  ) I        . )    )          * (    )+  B )  ) 3 ) ++    -    A  +   B                 + *            -     -        )) 2-           *       )   D :*    )      ) ))   * ! )    D 5   -  ) ))        D            D        -    F  )                     F .5    -  ))  D    )     ) H %  F 5  /  %  -            -     45-  )                   ) F 5    -      )        F  )    2 D - Q- - F 5     -  .             )  )     F  )    D - - - - - F /*       +     - )        .  )  -      )   %            +    D . 2    )              )          )+    F <*    & /        +                   )  .   )F =*  )   ! %    %  -             )   *     ) +  3-    -     ) -     +  3                 )   4&* ! - :>90F  - :>>/5* " ++-    +                 )  )                  -  )     )        )  )  )              +          -      )  )      *  6 2        )   3     + %%%           / S T   .*  ..     -  .. +       )  *  3      )-    +-  )  2     * 4&* '* L .U  &    - :@885*             %   /      -   +  3       -      +   )        )    -  -  . )- * -   3  -   )               3  +- )7           +   )   *                  D 2     +               )   *  2  -   + A  )- )     . -              )  2 * '    3    ))       *   B  3      D    )     )   -      R    -         2             )   *  )       -      .  6 )-   B            2 -                 * F G      3    * =*/ !   ) S&P     & Q               &    !      9 R &     & R  -   R  & !  ! &     ! & & &H =/       .   ))                )   )      +               %       &     )-  3      A   .* "      )   6             -  +  4A5  ! 4+5*     ) 3   )  )F     ) & /        )   D                    )  )     * '        -      +       * "                 2  * + %%%                  *   J  %  G   -*E-    >  4   > 4  D  E F          D>  4E  DD>  D  EE  D4  D  EEE 3 F   +   ) - 2 )+       D>  4E  DD  >E  D  4EE 3 F         D>  4E 3 F   )  ?E      D  >E  D  4E 3 F        D  >E 3    -         ?E  D  4E 3 * 4E $  "   %      "  J  %  G        D  E  D  E       -E  -EF     .  4E* 4E $  "   %   <   = "  44 - ?5* 1            +-     -     )         * 4*E $  "   %     D   E "  D4E 4.E $  >    %  D  >E  DD  >E  D  EE "  44* $* ? $ 45* (?5 D %  E $      %    T  T S               T $ > "  T S   > "  T 1    )  )  D      &         >*  -    +-  ?E  + >* 41E D E $      %    T  T S                T $ T ( "      "   T "+  3   T B- 7 T B 3        22     3 * 1 -  4E     3   T*        3 *  -*E-     >  4      D  E    -      DD  E  E  EDD  E  E  D  EE 3 *   3   DD  E  E 3 -  ?E 3   DD  E  E D  E  7   3   -  -E 3  DD  E  E- 2 D  E 3 -   -E 3  * 1     )D       !* " .  2 -    .      >   >*         #   "    #   " * + %%%                  *   42E $  "   %   D   E   "  1       -     )D 4E $   >    %  DD  >E  D  EE  D  >E "  4E D  %     E $    > 4  %   $ T  >P   4 >  4     4 "  # >  4 )-  -*E- D>  E  D4  EF  )    4- )  D  4E  D4  4EF   D4  E  D  4E  -E-     D>  E  D4  4EF  D  >E 3     D>  E 3 F  6 )  D4  4E 3 -  2   -E 4 3 *   2       >  )   F     4 3 - 3 ++ +      4   D  E  4 4E $   >    <  >= "  J  %  G   >    DD  E  D  >EE*        >  +  2  D  E  D  >E* 1        >   ?E    3  3   >-  7  3    >* 4E $   >    %  D  >E   D  >E  >    J  %  G ;;; 4E $  "   %     D   E "  4*E $  >    %  D  >E  DD  >E  D  EE "  1     4*E  42E   4.E  4E * ( )  4*E 3 -  .    >- 3   ++     )   >  2  *    -  D  >E  DD  E  D  >EE 3 + -  3  )       ) D      )      - 2   ..            * (  B  &; ?     $      ?  $-   3 ?  $   #  - 2  .* B2            %       !!    &; ? " $   ?     $*      $  ?           - B-   ?  $-   $  ?           !!   -   -    * + %%%                  **       )    -E  -*E-    )     )     - 3  .  -            )+ ;;;* -        )  )  45  Q 4  5-  .   4  -    >   )+     >- Q >5-  4-    >   )+   D     >E- Q4Q  Q >E5-  4   )+  D?   $E  D  ?  $EE   4#  -    >   )+  D  >E  D>  E5-   ) -  2    -E  -*E      )    )  * %              ! 2   )  3 *  -       - 2   ) Q 4  5 3  )-   +       +     )      G  Q  A + + A        )  45   -E   -E-        +   >  *     . +-   2       >-   )        >*  -*5  -        )  D  >E  D     >E- 2  ?E )  D     >E-     D    >E   +    *  7   3    -    ?E )  >-  7    >  +* #2   > 3 +* ( )-        )  45 3  )D A + A + + A A + A A A +          2-       >      >*  -   > 3 + 2   +     >- 2 2  3   > 3 +*         >        ) 4E  4E* #2   > 3    2    .   >-  3 +* F % D + %%%                  *1         #  !      % * (  2       . 3  .     2   -    -        D  2   4  5* # 2+     6    D  #  !    *    )       D )E?G  D )E?* ' )+         ? 3 - 2  ? 3 +       * 1       D )E  ?-  3  D )E?  2   D )E?     ? 3   )   .-  3         2  ?    * D )E?  + 2    DD )E D  ?EE*     )   #  !       2 )   -  )  B  -E-*E   ) D -.E $ ? "   %   )         %   TD U )E?  D )E?P "    -.E    3  ))         ?-        D )E ? 3 *  -  +   D  )         .  3    *      )  D    3    -   3     3    CCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCC   3                   5-  A  +  DD  5E  E  5 3    )-     DD  5E  E   ) 5*      )  )D ?D )   3   D   3    CCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCC 5D   3     )  -  2   3 )    * " 2  6-     -    )                ?      5-            %   ?  -       )-      3           D + %%%                  *2     3        3   ))     3    *  D)E   ) "      2+  -  ?  D )ED)E   2      D  3    D)E-  ) 3  .-   #  !     - )-  . )D      ) DD)EE      *  )                + 2 F     >D)E    ) "  ! #      2+    )  )        6 D D )E>D)E F G !   .       4+5D    ))   )  *   D)EG ) 3  - ?DHEG H 3   -        6  D )EDD)E  DD HE?DHED)IHEE (3     )   2+   F         D     +   2-  )+     +    3 2 4   ) 5-      D)E  >D)E    D)ED ) 3  + >D)ED ) 3 2 -   6     .       MD )E DD)E  >D)EE  D )EDD)E  M>D)EE + %%%                  *         )   +)  )) D )E?  D )E?* " .  2 3 )    6     ? 3       T - D )E?  D )E?        T-  3 E     )+  * %  )   -  6  -   3   -  5 3        ?    +    3  - 6 )+       D)E   . ) 3        -   3       D E*           T    2+*     .  ) D 4E $   ?   %     )         T    %   D )E? "  4E $   ?   %   )          %   D )E?  D U )E? "  1  )+        D )E? 3 -              )  ?   22*   -         D )ED) 0 )E  ) 3  - 3 -    ) ))        0   *      )    D                 &   "             * 41E $   ?   %    )    -  %    DD )E ?E  D )ED  ?E "  #       D )E ? 3 + )+      D )ED  ?E 3 -   ) )) + D  ?E* 42E $   ?  $   %   )    -  %   D )E D?  $E  DD )E?  D )E$ E "  (6 3  -             D )ED ?  $E  DD )E?  D )E$E   3   )F                                  7  ..     )               )             * 4E $   ?  $   %   )    - %   D )E D?  $E  DD )E?  D )E$E "  3                 .   8* !  )  8*: "            .   B  ) 3    2      B )-  2   +  B          +        ++* (B3 6     B -       .- + B )    )            )   ) -     ) B++    2    ) * G 2  )          2     3      *  7-   B3 )  -      B3 A - ) ))           * (   + B -    2 ))-      * (   3    ; (3  +  )))         D  + 3 "       &    )      +    *  )   2    +  !    )+   !   %  *  )   - )  ++          )  ) )) )     D - - ) - - +- * ( ..       +  B               *   +  B       B  + - 3 7    +    3  )     B  +    + F 3 2                 -      )   * "   2      +  3  -         B  A    -            %-   2  +    + 3  *       - ++  +       ) ++               D  3   - 2            )                  -        ++  + * "  2   6 -     -    )) )        ) ))    ++   * 1  )    )-              )) 4          ) ))5D   6    2     %%     6   3   .    ))         ) ))    * 3                 .   "   2   .-          + -   -    )   -      6    .   ) -    7               -     -    -    +   ))      +      -      * "     6       * "  +              *   -     +      .   -     -       .   *    +  .  +      -  B .     .   - + E       +   A .-     A )       - 2 A 2    * "     B3  B  )     +    2- ..  )   ..  )          4 +   2  ..   5-     +    -   E   * (  2 B    3                          -  +         * &  -    +  !   2  ;  +     +           *  2      )  B   )  )* 1    .      )  * ")     D    )    . )         -         -      2    )   )  -     *       2 -  6   ) *  )- . ) .    )        -  3 2    )   -     .     3    *  + 2 -         +           D    )   4  5   -        2-  2       .        )   *  )    +  ) & ( * 1               D     +               )   *  2  -   + A  )- )     . -                 )  2 * '    3    ))        *   B  3      D  )           R     )       2          )   *  )       -      .  6 )-   B        -  3      3   3  2 -               * " ) )  B  )       )   )   . D        %   (   )  .  D  3          < (     +    * 1  ..     +           ) D    2         .   .   22  -   -   +. ) *        .*      7  2       +      - 7       )   6     !    * ( E-     )       B -          )    * (   .. . ) B +   +  +  )      )      B   *      2)  B )) B A +2    * '    ))      A D   *    2    -   -           D  + 2  + )    B ! %  * &      B )) B +     3  2    + .        +  ) ))* #            3 2    , .K    V7  &72 4;;;5* !-      + -      A  -      )       .        * 8*/ (       +  1   ) -   -   +    -      +       * # )      ) - )      * G .    2     .-         -   ) 2+D 3 2      ) 2+-      +   2 )  )   2     22    ) 2+*  -     )               ;;; +  )  22   * "  - 2 )+    +             )  * (   T  22     * "  B    T   D :5 "    Q -  -  - * /5   -  3   B 22 +. -  .  -   -  -  )-   2   )  <* <5 "   !  -       * F G    ) - H    ) +* 3                 .1   3  ))  " * (   )  )+  2  -     .   )  - )        )*        )   ++ 2     ;;-   ++ -           + -  )  .   ) )             D   2 >     >   E   )  )* " ++-          + -     ++-   >        >* 1 ++          .           -       .. * 8*< "        .           F  + 2              +  %   ? "     T*        )       .- 7               .        * " ++- 2          )   )        )-  7             * %.- 2       ? 3     T-  )  "   T-        ? 6  -      )            *        ))   .         )  6        ) ))    )          T -      * "      2     )+          )   ))* #     -     -                 - 7  ) ))   )  *         )D :5         T *    2   )      T*     +)       T * /5      )        ) 2+-  7          * <5    ) -  &  T * '     .      )   ) +      ) D 5    $       T * .5  3    T - )  - ?         $-   D )E?        $* %)             T 3  & /   T *      2      2       )*     ) )) . -  )      3                 .2   )  *       3   -      ))   -   -  ) +)    - 2 3      -  3  )  )      ) )) *  ) )     )- )     )    ) +  T*               T *  .    7   -  +          3    D :5     +    T -  /5    %    T -  3               +  -    )          )    D :5 ? 3      T * /5 ? 3     -      T         +  * <5 (      $  3   ?-   3  $  ?*         ? "  T-   "   T-  ?         T * "   ) -  2         )  B  * "  3 2    )  <         %  *       ?  $-    ? F  -     )-  -    -     $ 3 * 1     3   3  ?  $ 3 * G                       D         - 2            T *           %     -            +  )+ *  D )E? 3   -      !  T  ?-   "  %    ?- 2 ?          )*      !    )  3   T *                          +*  2       -  3 )            3 .- 7           )     *     3      6 )  7      . 2             * !-                   +       *  +  3   -  3      3         T   * %    2 3       3     +  . *   -         )                -        ..  - )       A -     .   - 3                 .         -      -   ..       )  -     .. )   ))*     ***  T 3    -      D3 )ET -  3 3    T -       3  ) )     T -     )  ) * 4*E $  "   T D3 )E "   D3 )ET  G    )   3    D3 )ET 3    T -   2  D3 )E 3  2      T * %  )+    4*E-         ..  )*     T    @ !   T -  )    )  T     )  T B*      )  - ..  D 4.E $ T ( "  @ !   T    T    T (   T 3 A +   T     T  T B   #  * F  C     ) +        *     3 2  ..    -   )   D  6         )   ) * 4E  T   F          -    V    - 3 3  3V    T *     D3 U  ED3 U  ED3V U V E        T B  +    )      2  T *  -   3     T - D3 U  ED3 U  ED3V U V E 3     T * "+ T B 3 A +     T -  .    4*E  4.E* 1      2      T B      T -         T (      T * "- 6 )+       T ) ))  T B  + )    T *     ))          )    * F D     )  )     D  ) 9   ))      *    )  +   D   .         + . *      2       9  - )   )        ) * "  )     )     *     6     + .        )*
Docsity logo


Copyright © 2024 Ladybird Srl - Via Leonardo da Vinci 16, 10126, Torino, Italy - VAT 10816460017 - All rights reserved