   
 


    ,    ?   ,      ,          .            ,    .

     ,              .      ,      ,      .               ,     .





 

   





 1


          ,     .             .        ;      ,      .  ,   " " (),     .         ,    . ,     ,  ,          ,  .       ,    ,         .

    ,          .    ,        .         ,       .     ,     .       ,                .

        ,      ,             .  ,   P                 .     P     "" (  ),      R       .

P(a) -> R(a)

             ,     .        (),       ,   .           .        ,         .      ,         .






 2


       ,      .        ,     .    ()  .            ,       .         .      ,        ,  .      () ,     ,       ,          .         :   ,          .          ,   ()       .

         ,         ,    ,       .  ,       .          ,    .      ,   ,  ,      .

 ,       ,    .             ,     ,      .  ,       ,       .     ,  ()    .      ,        ,     .           ;     .        .

 ,     ,      ,     . ,    ()      .          ,         .          .            ,        .          .           (),        .

     ,        -  ,       .       ,         .        ,      ,   .             ,   .  ,         ,            .  ,      ,     .      ,          ,           .            :

Ax (P(x) ->R(x))

       .  ,       ,        .        ,         .    ,     ,   ,              .   A = A        .        ,        .    ,        ,      .        ,        .     , ,    (, )  :

P(a)

          .     Modus Ponens          : ,  :

R(a)

          (),         .       ,         ,       .

 ,     ,     ,    .           ,      . ,  ,        :    ,     .   , ,   - ,      .          .           ()            (  ).

   .        ,       .   ,    ,     ,      .       ,    ,       ,         .         .

   .

    ,    .         ,     .              ,       .        .        ,        :     .

         ,     .   ,    :    ,      .             .   ,       :     ,      ?      . ,      ()         ,        .    ,     ,    (,  ),   ,  ,       .  ,        :          ,      .

  ,        :

  ,       ,      .     ,      . Ÿ      ()    ,    ,    . ,    ,       .         ,           .  ()  :  :  =     ,        ,  ,     ,     .

  ,  ,      .          ,      ,   .             .          ,           .    .      ,  ,    ,    :            .                       .    ,         .      ,           .            .




 3


        ,        ,     .        ,        .  ,           ,        ""      .      ,    ,        .           :       ,         ""    .

   ,     ,     (    ,     ,         ).        .      ,       ,        .       ,           ,        :

~Ax P(x) == Ex ~P(x).

    ,          .    ,      ,      .                 .             .  ,     ,    Ax    Ex,     .       ,    ,    ,       .         :      ,     ,  .       :  ,        ,        :

~Ax P(x) == Ex ~P(x)

~Ex P(x) == Ax ~P(x).

         .     "  ".               ,      "   ":

~Ex M(x).

       .   ,     ,             .       ,     "   ":

Ax ~M(x).

 ,         ,  .   ,     ,       ,        .

            .   ,  ,          .      ,       .         ,     ,      .          .        ,         P    T(P).         ,      .        ,     :    . ,       :     ,   ,      .

     ,      ,       .        ,    ,          ,    .           ,      . ,       "  ",           ",  (  )".        ""  ""  ,     .                   .        ,    ,        Ax ~(P(x) -> R(x))       . -,           (),       .       . -,               :

Ax (P(x) & ~R(x)).

      ,       ,          ,    .  ,   ( ..., ...)       Modus Ponens,    .          ,    :       ,    .     ,      ()    :

~Ax (P(x) -> R(x)) == Ex ~(P(x) -> R(x)).

     Ex            .             Ax (~P(x) -> ~R(x))         .    :   ,    .      ,   ,    ,    . ,      ,   ,    :

(~P(x) -> ~R(x)) == (R(x) -> P(x)).

   ,  -         .      ,        ,       .




  .


   .

   ,     (https://www.litres.ru/book/mushfik-guseynov/traktat-o-znachenii-simvolov-74232049/)  .

      Visa, MasterCard, Maestro,    ,   ,     ,  PayPal, WebMoney, ., QIWI ,       .


